7640 search results - page 233 / 1528 » Event Database Processing |
127
Voted
DEXAW
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes an algebra for use with parallel object databases, and in particular ODMG compliant databases with OQL. Although there have been many proposals for parallel r...
119
Voted
PADS
1999
ACM
15 years 7 months ago
1999
ACM
Most work to date in parallel and distributed discrete event simulation is based on assigning precise time stamps to events, and time stamp order event processing. An alternative ...
141
Voted
WDAG
1994
Springer
15 years 7 months ago
1994
Springer
This paper investigates how vector time can be used to set breakpoints in distributed computations for the purpose of analyzing and debugging distributed programs. A breakpoint is ...
136
Voted
FORTE
2010
15 years 4 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
130
click to vote
IANDC
2006
15 years 3 months ago
2006
We introduce a new notion of bisimulation, called event bisimulation on labelled Markov processes (LMPs) and compare it with the, now standard, notion of probabilistic bisimulatio...