368 search results - page 10 / 74 » Calculating an exceptional machine |
125
click to vote
CEEMAS
2003
Springer
15 years 8 months ago
2003
Springer
We present an agent-based Producer/Consumer scenario, that is the key element of manufacturing systems and therefore of utmost importance. We call it a MSWS-system, which is made u...
110
click to vote
DAC
1992
ACM
15 years 7 months ago
1992
ACM
This paper describes a model for, and an implementation of, production-based synthesis of hardware description language (HDL) code in which the overall structure of the resultant ...
ENTCS
2008
15 years 3 months ago
2008
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...
124
Voted
ICML
2008
IEEE
16 years 4 months ago
2008
IEEE
We present an algorithm for on-line, incremental discovery of temporal-difference (TD) networks. The key contribution is the establishment of three criteria to expand a node in TD...
138
click to vote
APSEC
2009
IEEE
15 years 6 months ago
2009
IEEE
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...