482 search results - page 85 / 97 » Exploration in Metric State Spaces |
WIA
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we propose a new data structure, called shared automata, for representing deterministic finite automata (DFA). Shared automata admit a strong canonical form for DFA ...
IEEEARES
2010
IEEE
14 years 1 days ago
2010
IEEE
Many software security vulnerabilities only reveal themselves under certain conditions, i.e., particular configurations of the software together with its particular runtime environ...
31
Voted
CONCUR
1999
Springer
14 years 11 hour ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
FPL
2007
Springer
13 years 11 months ago
2007
Springer
Recently, there is a surge of interests in using FPGAs for computer architecture research including applications from emulating and analyzing a new platform to accelerating microa...
ECMDAFA
2006
Springer
13 years 11 months ago
2006
Springer
A core problem in Model Driven Engineering is model consistency achievement: all models must satisfy relationships constraining them. Active consistency techniques monitor and cont...