Sciweavers

3335 search results - page 25 / 667
» Grid result checking
Sort
View
ICCAD
2007
IEEE
130views Hardware» more  ICCAD 2007»
15 years 8 months ago
Analysis and optimization of power-gated ICs with multiple power gating configurations
- Power gating is an efficient technique for reducing leakage power in electronic devices by disconnecting blocks idle for long periods of time from the power supply. Disconnecting...
Aida Todri, Malgorzata Marek-Sadowska, Shih-Chieh ...
GRID
2003
Springer
15 years 5 months ago
Evaluating Scheduling and Replica Optimisation Strategies in OptorSim
Grid computing is fast emerging as the solution to the problems posed by the massive computational and data handling requirements of many current international scientific project...
David G. Cameron, Rubén Carvajal-Schiaffino...
PE
2007
Springer
137views Optimization» more  PE 2007»
14 years 11 months ago
A prediction method for job runtimes on shared processors: Survey, statistical analysis and new avenues
Grid computing is an emerging technology by which huge numbers of processors over the world create a global source of processing power. Their collaboration makes it possible to pe...
Menno Dobber, Robert D. van der Mei, Ger Koole
ICCAD
2006
IEEE
177views Hardware» more  ICCAD 2006»
15 years 8 months ago
Fast and accurate transaction level models using result oriented modeling
Efficient communication modeling is a critical task in SoC design and exploration. In particular, fast and accurate communication is needed to predict the performance of a system....
Gunar Schirner, Rainer Dömer
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
15 years 4 months ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro