Archives for INGI

The State of Fault Injection Vulnerability Detection by Thomas Given-Wilson Fault injection is a well known method to test the robustness and security vulnerabilities of software. Fault injections can be explored by simulations (cheap, but not validated) and hardware experiments (true, but...

Geometric Algebra for Computer Science By Prof. Leo Dorst, Univ. of Amsterdam This is the companion site to the book Geometric Algebra For Computer Science, An Object Oriented Approach to Geometry, published by Morgan Kaufmann Publishers. Here you can find a preview and tour of the book,...

Fast and scalable optimization for segment routing Nowadays, the Internet delivers more than 1 zettabyte (or 1,000,000,000,000,000,000,000 bytes) of data to more than 3.2 billions of users every year. As a consequence, network operators face difficult challenges due to the impressive (and...

Metadata Management in Causally Consistent Systems Causal consistency has emerged as a key ingredient among the many consistency models and client session guarantees that have been proposed and implemented in the last decade. In fact, it has been proved to be the strongest consistency model...