5015 search results - page 443 / 1003 » Model Checking a Path |
161
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive higher-...
230
click to vote
ECMDAFA
2005
Springer
16 years 9 days ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
169
click to vote
ISCIS
2009
Springer
16 years 1 months ago
2009
Springer
—With the development of improved and cost-effective technologies, it is now possible to detect thousands of metabolites in biofluids or specific organs, and reliably quantify th...
185
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Dual-radio, dual-processor nodes are an emerging class of Wireless Sensor Network devices that provide both lowenergy operation as well as substantially increased computational...
170
click to vote
CAV
2007
Springer
16 years 29 days ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...