1086 search results - page 77 / 218 » Event Structures with Symmetry |
FGCS
2006
13 years 10 months ago
2006
The article presents a new compressible memory data structure for trace events. Its primary intention is to aid the analysis of huge traces by reducing the memory requirements sig...
IJCAI
1989
13 years 11 months ago
1989
We Imbed Into a first order logic a representation language that combines atemporal knowledge with time stamps in a hierarchical fashion. Each time structure contains its own chro...
CAV
2003
Springer
14 years 3 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
WSC
1993
13 years 11 months ago
1993
We present a mapping of Best Practices from the field of software engineering to the practice of discrete event simulation model construction. There are obvious parallels between ...
CPE
1997
Springer
14 years 2 months ago
1997
Springer
We consider the problem of storing and searching a large state space obtained from a high-level model such as a queueing network or a Petri net. After reviewing the traditional te...