3028 search results - page 332 / 606 » Integrating Temporal Logics |
168
click to vote
FATES
2004
Springer
16 years 3 days ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
208
click to vote
FORMATS
2004
Springer
16 years 3 days ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
170
click to vote
FSTTCS
2004
Springer
16 years 3 days ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
200
click to vote
DFT
2003
IEEE
16 years 18 hour ago
2003
IEEE
Safety-critical embedded systems often operate in harsh environmental conditions that necessitate fault-tolerant computing techniques. Many safety-critical systems also execute re...
170
click to vote
ISCAS
2003
IEEE
16 years 5 hour ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...