2943 search results - page 137 / 589 » Software Implementation of Synchronous Programs |
135
Voted
ACRI
2006
Springer
15 years 8 months ago
2006
Springer
For simulating physical and chemical processes on molecular level asynchronous cellular automata with probabilistic transition rules are widely used being sometimes referred to as ...
119
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
121
Voted
ICCAD
1995
IEEE
15 years 6 months ago
1995
IEEE
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
122
Voted
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
104
Voted
SIGCSE
2005
ACM
15 years 8 months ago
2005
ACM
Java is the canonical language for teaching introductory programming, but its complex syntax and abundance of constructs are difficult for beginners to learn. This paper shows how...