3171 search results - page 488 / 635 » Application of Reduce Order Modeling to Time Parallelization |
159
Voted
AC
2005
Springer
15 years 3 months ago
2005
Springer
Reducing power consumption has become a major challenge in the design and operation of today's computer systems. This chapter describes different techniques addressing this c...
110
Voted
JPDC
2010
15 years 1 months ago
2010
This paper shows that shared coin algorithms can be combined to optimize several complexity measures, even in the presence of a strong adversary. By combining shared coins of Brac...
165
Voted
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
122
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The success of probabilistic model checking for discrete-time Markov decision processes and continuous-time Markov chains has led to rich academic and industrial applications. The ...
148
click to vote
HPDC
2009
IEEE
15 years 10 months ago
2009
IEEE
This article deals with TakTuk, a middleware that deploys efficiently parallel remote executions on large scale grids (thousands of nodes). This tool is mostly intended for intera...