102 search results - page 13 / 21 » An Integrated Framework for Checking Concurrency-Related Pro... |
WLP
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
SRDS
2008
IEEE
14 years 1 months ago
2008
IEEE
We identify here various kinds of failure conditions and robustness issues that arise in context-aware pervasive computing applications. Such conditions are related to failures in...
TACAS
2012
Springer
12 years 2 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
IEEEPACT
2008
IEEE
14 years 1 months ago
2008
IEEE
Technology scaling in integrated circuits has consistently provided dramatic performance improvements in modern microprocessors. However, increasing device counts and decreasing o...
ECOOP
2006
Springer
13 years 9 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...