Sciweavers

6677 search results - page 486 / 1336
» Distributed Simulation of MAS
Sort
View
IPPS
1997
IEEE
15 years 8 months ago
Fault-Tolerant Deadline-Monotonic Algorithm for Scheduling Hard-Real-Time Tasks
This paper presents a new fault-tolerant scheduling algorithm for multiprocessor hard-real-time systems. The so called partitioning method is used to schedule a set of tasks in a ...
Alan A. Bertossi, Andrea Fusiello, Luigi V. Mancin...
ICCAD
1996
IEEE
88views Hardware» more  ICCAD 1996»
15 years 8 months ago
Hierarchical statistical characterization of mixed-signal circuits using behavioral modeling
A methodology for hierarchicalstatistical circuit characterization which does not rely upon circuit-level Monte Carlo simulation is presented. The methodology uses principalcompon...
Eric Felt, Stefano Zanella, Carlo Guardiani, Alber...
141
Voted
PCRCW
1997
Springer
15 years 8 months ago
Preliminary Evaluation of a Hybrid Deterministic/Adaptive Router
A novel routing scheme is proposed for virtual cutthrough routing that attempts to combine the low routing delay of deterministic routing with the exibility and low queuing delays...
Dianne Miller, Walid A. Najjar
IPPS
1993
IEEE
15 years 8 months ago
Mapping Interconnection Networks into VEDIC Networks
We show the universality of the VEDIC network in simulating other well known interconnection networks by generating the parameters of the VEDtC network automatically. Algorithms a...
Vipin Chaudhary, Bikash Sabata, Jake K. Aggarwal
CONCUR
2007
Springer
15 years 8 months ago
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. ...