Monthly Archives: August 2009

Godel’s Lost Letter

Posted on August 28, 2009 by admin

One can obviously easily construct a Turing machine, which for every formula F in first order predicate logic and every natural number n , allows one to decide if there is a proof of F of length n (length = … Continue reading →

Posted in software engineering | Tagged , | Leave a comment

Primitive recursion and transducers

Posted on August 25, 2009 by admin

11/23/2009 please see the updated version: here. Yet another version of the recursion/transducer paper . The main result is that simultaneous primitive recursion on strings corresponds to general products of state machines. Primitive recursion on strings is analogous to primitive … Continue reading →

Posted in specification | Leave a comment

Deterministic multithreading

Posted on August 10, 2009 by admin

An interesting paper appearing in ASPLOS proceedings provides a “deterministic” locking method Kendo enforces a deterministic interleaving of lock acquisitions and specially declared non-protected reads through a novel dynamically load-balanced deterministic scheduling algorithm. The algorithm tracks the progress of each … Continue reading →

Posted in embedded systems, operating systems, software engineering, software security, specification | Tagged , , , , | Leave a comment