970 search results - page 89 / 194 » Symbolic timing simulation using cluster scheduling |
JSSPP
2007
Springer
14 years 4 months ago
2007
Springer
The TeraGrid is a closely linked community of diverse resources: computational, data, and experimental, e.g., the imminent very large computational system at the University of Tex...
WSC
2008
14 years 11 days ago
2008
Understanding how the structure of a network evolves over time is one of the most interesting and complex topics in the field of social networks. In our attempt to model the dynam...
FMSD
2006
13 years 10 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
ICCAD
2007
IEEE
14 years 7 months ago
2007
IEEE
— We present a new linear time technique to compute criticality information in a timing graph by dividing it into “zones”. Errors in using tightness probabilities for critica...
PADS
2005
ACM
14 years 3 months ago
2005
ACM
Simulation of large-scale networks requires enormous amounts of memory and processing time. One way of speeding up these simulations is to distribute the model over a number of co...