1541 search results - page 112 / 309 » Tools and Techniques for Model Checking Networked Programs |
134
Voted
SIGSOFT
2004
ACM
15 years 9 months ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
135
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
130
click to vote
BMCBI
2002
15 years 4 months ago
2002
Background: Robustness of mathematical models of biochemical networks is important for validation purposes and can be used as a means of selecting between different competing mode...
258
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
131
click to vote
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
We report our experience in implementing type and memory safety in an efficient manner for sensor network nodes running TinyOS: tiny embedded systems running legacy, C-like code. ...