ADD CATEGORY


Abstract State Machines

Great Deals on Abstract State Machines books and equipment!
Eligible for FREE Super Saver Shipping on orders over $25.

Abstract State Machines Engineering Jobs
CareerBuilder.com has the nation covered with its presence in the top 200 local markets!

Threaded Code
Techniques, advantages, differences between various methods, examples, references,
benchmarks.

RFC 2360 (rfc2360) - Guide for Internet Standards Writers
Guide for Internet Standards Writers. G. Scott. June 1998.

Artificial Superintelligence
Excerpt and summary, research and creation of artificial systems with encyclopedic
intelligence.

RFC 3215 (rfc3215) - LDP State Machine
LDP State Machine. C. Boscher, P. Cheval, L. Wu, et al. January 2002.

Hunterdon County Democratic Committee
Official site.

Haifa Logic Seminar
Logic Seminar.

Unified Modeling Language FAQ
High-level FAQs on UML. By Rational Software Corporation.

Introduction to Programming Languages
Book by Anthony A. Aaby.

Component Software Glossary
Glossary of terms central to component software design with extensive definitions.

Abstract State Machines: Occam
Article by Yuri Gurevich and Lawrence S. Moss.

AG RVS - The Causal Systems Analysis and WB-Analysis Home Page
Descriptions of the subject methods, which are based on a formal notion of
causality, formal semantics, and logic. Related papers and software tools are ...

The Theory of Abstract Objects
Web resource provided by Edward Zalta, centering upon his `Principia Metaphysica',
a general calculus for the expression of theories of abstract objects.

Finite State Machines
Java package which allows the specification and automatic translation of Finite
State Machines. FSMs can be used to model a wide variety of processes, ...

Abstract State Machines
A formal method for specifying and verifying algorithms. Tools, meetings,
researchers in the area.

Titivillus: Software Development
Links to many programming languages, including several HDLs.

cage
A generic and extensible cellular automaton simulation engine written in Python.

An Object Model for Multiparadigm Programming
Presented at OOPSLA 1994.

 

 

Find what you were searching for? Please Search Again.

Google
 
Web www.logic1.com




ASIC Eng Jobs


Sign up for our Asic Design Synthesis   newsletter here!

Enter Email Address Here: