553 search results - page 92 / 111 » Verified, Executable Parsing |
PLDI
2003
ACM
14 years 1 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
SENSYS
2003
ACM
14 years 1 months ago
2003
ACM
Wireless ad-hoc sensor networks have emerged as an interesting and important research area in the last few years. The applications envisioned for such networks require collaborati...
VLDB
1998
ACM
14 years 24 days ago
1998
ACM
Deterministic testing of SQL database systems is human intensive and cannot adequately cover the SQL input domain. A system (RAGS), was built to stochastically generate valid SQL ...
AOSD
2009
ACM
13 years 11 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
CL
2008
Springer
13 years 8 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...