Sciweavers

179 search results - page 31 / 36
» Deadline-Constrained Causal Order
Sort
View
PADS
1999
ACM
14 years 1 months ago
Exploiting Temporal Uncertainty in Parallel and Distributed Simulations
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 ...
Richard Fujimoto
ASIAN
2007
Springer
126views Algorithms» more  ASIAN 2007»
14 years 3 months ago
Computational Semantics for Basic Protocol Logic - A Stochastic Approach
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
Gergei Bana, Koji Hasebe, Mitsuhiro Okada
DATE
2000
IEEE
140views Hardware» more  DATE 2000»
14 years 1 months ago
Parallel and Distributed VHDL Simulation
This paper presents a methodology for parallel and distributed simulation of VHDL using the PDES (parallel discrete-event simulation) paradigm. To achieve better features and perf...
Dragos Lungeanu, C.-J. Richard Shi
ICPP
1999
IEEE
14 years 1 months ago
An Offline Algorithm for Dimension-Bound Analysis
The vector-clock size necessary to characterize causality in a distributed computation is bounded by the dimension of the partial order induced by that computation. In an arbitrar...
Paul A. S. Ward
ICCV
2003
IEEE
14 years 10 months ago
Recognition of Group Activities using Dynamic Probabilistic Networks
Dynamic Probabilistic Networks (DPNs) are exploited for modelling the temporal relationships among a set of different object temporal events in the scene for a coherent and robust...
Shaogang Gong, Tao Xiang