423 search results - page 40 / 85 » Parallel Algorithms for Cellular Models Simulation |
118
click to vote
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
JSSPP
1997
Springer
15 years 6 months ago
1997
Springer
In this paper we have characterized the inter-arrival time and service time distributions for jobs at a large MPP supercomputing center. Our findings show that the distributions ...
127
click to vote
IPPS
1997
IEEE
15 years 6 months ago
1997
IEEE
Tools for parallel systems today range from specification over debugging to performance analysis and more. Typically, they help the programmers of parallel algorithms from the ea...
144
click to vote
SC
2009
ACM
15 years 8 months ago
2009
ACM
The UNIC code is being developed as part of the DOE’s Nuclear Energy Advanced Modeling and Simulation (NEAMS) program. UNIC is an unstructured, deterministic neutron transport c...
139
click to vote
DSRT
2008
IEEE
15 years 3 months ago
2008
IEEE
P2P systems have witnessed phenomenal development in recent years. Evaluating and analyzing new and existing algorithms and techniques is a key issue for developers of P2P systems...