2211 search results - page 12 / 443 » The state of peer-to-peer simulators and simulations |
WSC
2007
13 years 9 months ago
2007
Lean principles require the identification of an ideal system state along with an associated policy to achieve that state. This paper discusses the use of multi-criteria models in...
WSC
1997
13 years 8 months ago
1997
A psycho-physical vehicle-following model tries to capture both the physical and human components of congested-traffic simulations. These models determine the reactions of the veh...
ENTCS
2006
13 years 7 months ago
2006
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...
CODES
1998
IEEE
13 years 11 months ago
1998
IEEE
In this paper, we present thread-based optimistic distributed timed cosimulation methods which reduce the overhead of optimistic simulation. First, we present thread simulation mo...
ACSD
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper makes the idea of memory shadowing [5] applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's pipeline verification method [...