4885 search results - page 222 / 977 » Architectural Considerations with Distributed Computing |
169
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Spatially distributed 3D circuit models are extracted with a segmentto-segment BEM (Boundary Element Method) algorithm for both capacitance and inverse inductance couplings rather...
141
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
170
click to vote
ICAC
2005
IEEE
16 years 4 days ago
2005
IEEE
Key issues to address in autonomic job recovery for cluster computing are recognizing job failure; understanding the failure sufficiently to know if and how to restart the job; an...
202
click to vote
DAC
2009
ACM
15 years 4 months ago
2009
ACM
For hardware security applications, the availability of secret keys is a critical component for secure activation, IC authentication and for other important applications including...
160
click to vote
IEEEPACT
2003
IEEE
15 years 11 months ago
2003
IEEE
Effective modeling and management of hardware resources have always been critical toward generating highly efficient code in static compilers. With Just-In-Time compilation and dy...