1914 search results - page 90 / 383 » Abstract lambda-Calculus Machines |
95
Voted
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The drum machine has been an important tool in music production for decades. However, its flawless way of playing drum patterns is often perceived as mechanical and rigid...
117
click to vote
PTS
2008
15 years 3 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
120
click to vote
SIMVIS
2004
15 years 3 months ago
2004
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
79
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. In earlier work, the Abstract State Machine Thesis — that arbitrary algore behaviorally equivalent to abstract state machines — was established for several classes of...
161
click to vote
JUCS
2002
15 years 2 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...