1321 search results - page 56 / 265 » Logic Simulation Using Networks of State Machines |
HPDC
2008
IEEE
15 years 4 months ago
2008
IEEE
As cluster computers are used for a wider range of applications, we encounter the need to deliver resources at particular times, to meet particular deadlines, and/or at the same t...
ISSTA
2000
ACM
15 years 2 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
PERCOM
2009
ACM
15 years 10 months ago
2009
ACM
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...
142
click to vote
KESAMSTA
2011
Springer
14 years 18 days ago
2011
Springer
Creating modular behaviours in JADE using a traditional method such as the FSM (Finite State Machine) can be a difficult task to achieve. The first issue with FSMs is that they do...
PADS
1999
ACM
15 years 2 months ago
1999
ACM
This paper introduces a novel algorithm, the Active Virtual Network Management Protocol AVNMP , for predictive network management. It explains how the Active Virtual Network Mana...