Sciweavers

5190 search results - page 224 / 1038
» Multithreaded Parallel Computer Model with Performance Evalu...
Sort
View
111
Voted
SPIN
2004
Springer
15 years 3 months ago
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
Peter Leven, Tilman Mehler, Stefan Edelkamp
ISPAN
2000
IEEE
15 years 2 months ago
Comprehensive Evaluation of an Instruction Reissue Mechanism
In this paper, we evaluate a mechanism to reissue instructions on the mispredicted speculation path. An instruction which is once dispatched to a functional unit during mispredict...
Toshinori Sato, Itsujiro Arita
69
Voted
ICPPW
2000
IEEE
15 years 2 months ago
A Practical Realization of Parallel Disks
Several models of parallel disks are found in the literature. These models have been proposed to alleviate the I/O bottleneck arising in handling voluminous data. These models hav...
Sanguthevar Rajasekaran, Xiao-ming Jin
DATE
2006
IEEE
101views Hardware» more  DATE 2006»
15 years 4 months ago
A parallel configuration model for reducing the run-time reconfiguration overhead
Multitasking on reconfigurable logic can achieve very high silicon reusability. However, configuration latency is a major limitation and it can largely degrade the system performa...
Yang Qu, Juha-Pekka Soininen, Jari Nurmi
82
Voted
PPSN
2004
Springer
15 years 3 months ago
Statistical Racing Techniques for Improved Empirical Evaluation of Evolutionary Algorithms
In empirical studies of Evolutionary Algorithms, it is usually desirable to evaluate and compare algorithms using as many different parameter settings and test problems as possible...
Bo Yuan, Marcus Gallagher