Get Started with MariaDB on Docker
By MariaDB Team, APRIL 28, 2017 This week’s webinar with Alvin Richards on getting started with MariaDB on Docker was extremely popular but unfortunately we weren’t able to get to all the audience questions at...
Category: Free Downloads and Links
Apache Spark 2.2 on Databricks Runtime 3.0
Available on Databricks Runtime 3.0 by Michael Armbrust Originally posted in ENGINEERING BLOG , July 11, 2017 Today we are happy to announce the availability of Apache Spark 2.2.0 on Databricks as part of the Databricks Runtime...
WEBINAR: GETTING STARTED WITH NUODB
This webinar helps you get started with NuoDB. Solutions Architect Boris Bulanov walks through installing and creating a NuoDB database and also showcases some of NuoDB’s unique advantages such as scale-out and automated resilience. ...
Vlog: The History and Future of the Blurring of Stream Processing & OLTP
Recently, our founding Engineer, John Hugg, spoke at Berlin Buzzwords. This vlog contains the video of his presentation there. What’s Covered in this Video? There has been so much noise surrounding advances in analytical...
Announcing VoltDB v7.5
VoltDB V7.5 is now available, with a fine set of features sure to excite our customers, including: Kafka updates (most requested by customers) Kafka 0.10.2 an upgrade from our previous Kafka 0.8 support. King...
Artificial Intelligence, The Next Digital Frontier, McKinsey Global Institute Study
McKinsey Global Institute Study, Artificial Intelligence, The Next Digital Frontier (80 pp., PDF, free, no opt-in) published JUNE 2017 Authors Jacques Bughin | Brussels Eric Hazan | Paris Sree Ramaswamy | Washington, DC Michael Chui...
BloodHound: an application which uses graph theory to reveal the hidden and often unintended relationships within an Active Directory environment.
The BloodHound project created by Andrew Robbins, Rohan Vazarkar, and Will Schroeder. BloodHound is an application which uses graph theory to reveal the hidden and often unintended relationships within an Active Directory environment. Attackers can use BloodHound to easily...
Timesketch, open source collaborative forensic timeline analysis tool
Timesketch is an open source tool for collaborative forensic timeline analysis. Using sketches you and your collaborators can easily organize your timelines and analyze them all at the same time. Add meaning to your...
Path Predicate Abstraction for Sound System-Level Modeling of Digital Circuits
Dissertation Joakim Henrik Urdahl Fachbereich Elektrotechnik und Informationstechnik der Technische Universität Kaiserslautern December, 15 2015 Motivation and Overview Even after years of progress both in simulation-based and formal verification techniques, System- on-Chip (SoC) verification...
Formal Verification of Firmware-Based System-on-Chip Modules
Dissertation M.Sc. Carlos Villarraga Fachbereich Elektrotechnik und Informationstechnik der Technischen Universität Kaiserslautern December 7, 2016 Abstract In current practices of system-on-chip (SoC) design a trend can be observed to integrate more and more low-level...