• A new theory of processes

    September 20, 2014

    A process is a container in that it collects context under an authority and consistency, and it is a referent in that it can be the target of scheduling, of signals and communication, and of hierarchies and networks of other processes. A process is an object for a conceptually distinct task. As an object, it [...]

  • Assertions

    September 7, 2014

    ASSERTIONS An assertion is a logical statement that should evaluate to true. Assertions can be just a mind-amge, at most a notation or comment in the coade. They have become so popular that now some languages have assert statements, which are actual code that evaluates the assertion. If the assertion evaluates false the code flow [...]

  • A complexity petting zoo

    September 1, 2014

    Preliminary remarks This is a simple introduction to certain complexity classes, hence a “petting zoo”. The actual complexity zoo can be found here. Algorithms are mathematically precise, step-wise procedures for solving problems. The subject of algorithms is concerned with not only how to solve a problem, but how to solve it efficiently. Efficiency often means [...]

 
Powered by Wordpress and MySQL. Theme by Shlomi Noach, openark.org