5090 search results - page 190 / 1018 » Constructing Strategies for Programming |
POPL
1995
ACM
14 years 1 months ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
ENTCS
2006
13 years 9 months ago
2006
We consider the issue of exploiting the structural form of ESTEREL programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking t...
IEEECIT
2010
IEEE
13 years 8 months ago
2010
IEEE
—The project-based teaching mode is a method based on the educational theory of constructivism. Based on this mode, the paper discussed a new teaching practice, covering differen...
APPROX
2009
Springer
14 years 4 months ago
2009
Springer
Small-bias, or -biased, spaces have found many applications in complexity theory, coding theory, and derandomization. We generalize the notion of small-bias spaces to the setting ...
PPOPP
2005
ACM
14 years 3 months ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...