690 search results - page 108 / 138 » Testing Temporal Logic Properties in Distributed Systems |
121
Voted
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
DAC
2002
ACM
16 years 1 months ago
2002
ACM
This paper introduces an FPGA IP evaluation and delivery system that operates within Java applets. The use of such applets allows designers to create, evaluate, test, and obtain F...
118
click to vote
IJIG
2002
15 years 4 days ago
2002
This paper proposes a new background subtraction method for detecting moving objects from a time-varied background. While background subtraction has traditionally worked well for ...
133
Voted
DSN
2009
IEEE
15 years 7 months ago
2009
IEEE
The threat of soft error induced system failure in high performance computing systems has become more prominent, as we adopt ultra-deep submicron process technologies. In this pap...
111
click to vote
EUROCAST
2007
Springer
15 years 4 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...