828 search results - page 91 / 166 » A New Model of Program Dependences for Reverse Engineering |
EMSOFT
2004
Springer
14 years 3 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
KBSE
2008
IEEE
14 years 4 months ago
2008
IEEE
Exception handling mechanisms have been around for more than 30 years. Nevertheless, modern exceptions systems are not very different from the early models. Programming languages ...
OPODIS
2003
13 years 11 months ago
2003
Dependable properties such as self-stabilization are crucial requirements in sensor networks. One way to achieve these properties is to utilize the vast literature on distributed ...
NIPS
2008
13 years 11 months ago
2008
We introduce a new probability distribution over a potentially infinite number of binary Markov chains which we call the Markov Indian buffet process. This process extends the IBP...
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...