1321 search results - page 29 / 265 » Logic Simulation Using Networks of State Machines |
62
Voted
INFOCOM
2002
IEEE
15 years 2 months ago
2002
IEEE
We demonstrate how to apply Coupling from the Past, a simulation technique for exact sampling, to Markov chains based on TCP variants. This approach provides a new, statistically ...
99
Voted
IEEEHPCS
2010
14 years 7 months ago
2010
In this paper we analyze the performance of execution of service workflows in virtual machines (VMs) used as resources in our service-oriented grid testbed (SGT). We chosen an app...
JOLLI
2002
14 years 9 months ago
2002
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...
INFOCOM
1992
IEEE
15 years 1 months ago
1992
IEEE
The current Internet is based on a stateless (datagram) architecture. However, many recent proposals rely on the maintenance of state information within network routers, leading t...
WSC
2007
15 years 5 hour ago
2007
The paper presents an extensible Petri Net Markup Language (xPNML), which is an extended version of PNML. The xPNML format overcomes limitations associated with PNML structure for...