1446 search results - page 232 / 290 » Formal analysis of hardware requirements |
SIGMETRICS
2003
ACM
14 years 1 months ago
2003
ACM
Since web workloads are known to vary dynamically with time, in this paper, we argue that dynamic resource allocation techniques are necessary to provide guarantees to web applicat...
IEEEHPCS
2010
13 years 6 months ago
2010
In grid computing systems, providing fault-tolerance is required for both scientific computation and file-sharing to increase their reliability. In previous works, several mechani...
TROB
2010
13 years 2 months ago
2010
The manipulation of fast moving, delicate tissues in beating heart procedures presents a considerable challenge to the surgeon. A robotic force tracking system can assist the surge...
CEJCS
2011
12 years 8 months ago
2011
: Effective validation of distributed real-time and embedded (DRE) system quality-of-service (QoS) properties (e.g., event prioritization, latency, and throughput) requires testin...
ICCAD
1997
IEEE
14 years 7 days ago
1997
IEEE
The circuit tuning problem is best approached by means of gradient-based nonlinear optimization algorithms. For large circuits, gradient computation can be the bottleneck in the o...