3387 search results - page 512 / 678 » Model-Checking for Real-Time Systems |
COMPSAC
2002
IEEE
14 years 3 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
MBEES
2010
13 years 8 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
PLDI
2009
ACM
14 years 11 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
OSDI
2008
ACM
14 years 10 months ago
2008
ACM
Transactional flash (TxFlash) is a novel solid-state drive (SSD) that uses flash memory and exports a transactional interface (WriteAtomic) to the higher-level software. The copy-...
CONCUR
2000
Springer
14 years 2 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...