158 search results - page 19 / 32 » Distributed solving through model splitting |
117
Voted
ASPDAC
2008
ACM
15 years 6 days ago
2008
ACM
In the nanometer manufacturing region, process variation causes significant uncertainty for circuit performance verification. Statistical static timing analysis (SSTA) is thus dev...
CACM
2007
14 years 10 months ago
2007
ACTION THE KEY TO COMPUTING? Why is it that some software engineers and computer scientists are able to produce clear, elegant designs and programs, while others cannot? Is it poss...
71
Voted
CEC
2008
IEEE
15 years 4 months ago
2008
IEEE
— Since the Estimation of Distribution Algorithms (EDAs) have been introduced, several single model based EDAs and mixture model based EDAs have been developed. Take Gaussian mod...
90
Voted
SAC
2010
ACM
15 years 5 months ago
2010
ACM
Byzantine consensus in asynchronous message-passing systems has been shown to require at least 3f + 1 processes to be solvable in several system models (e.g., with failure detecto...
106
click to vote
EUROPAR
2009
Springer
15 years 2 months ago
2009
Springer
Data access in HPC infrastructures is realized via user-level networking and OS-bypass techniques through which nodes can communicate with high bandwidth and low-latency. Virtualiz...