2943 search results - page 341 / 589 » Software Implementation of Synchronous Programs |
109
click to vote
TOPLAS
2008
15 years 3 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
166
click to vote
ACMMSP
2006
ACM
15 years 9 months ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
ITICSE
1999
ACM
15 years 7 months ago
1999
ACM
This paper shows how a multimedia multi-framed simulation generator was developed. A technique of recording a sequence of steps and playing them back as an animation overcomes the...
143
click to vote
HYBRID
1997
Springer
15 years 7 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
242
click to vote
POPL
2003
ACM
16 years 3 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...