5448 search results - page 83 / 1090 » Breakpoints and Time in Distributed Computations |
DAC
2005
ACM
16 years 1 months ago
2005
ACM
Recent study shows that the existing first order canonical timing model is not sufficient to represent the dependency of the gate delay on the variation sources when processing an...
EJWCN
2010
14 years 7 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
127
click to vote
DAC
2004
ACM
16 years 1 months ago
2004
ACM
CT An efficient statistical timing analysis algorithm that can handle arbitrary (spatial and structural) causes of delay correlation is described. The algorithm derives the entire ...
152
click to vote
HPDC
2012
IEEE
13 years 3 months ago
2012
IEEE
networking with a layer 2 abstraction provides a powerful model for virtualized wide-area distributed computing resources, including for high performance computing (HPC) on collec...
113
Voted
CCGRID
2007
IEEE
15 years 7 months ago
2007
IEEE
The existence of good probabilistic models for the job arrival process and job characteristics is important for the improved understanding of grid systems and the prediction of th...