2838 search results - page 373 / 568 » Verifying Controlled Components |
CPAIOR
2004
Springer
15 years 6 months ago
2004
Springer
ng Abstractions for Local Search Pascal Van Hentenryck1 and Laurent Michel2 1 Brown University, Box 1910, Providence, RI 02912 2 University of Connecticut, Storrs, CT 06269-3155 Ab...
IMR
2004
Springer
15 years 6 months ago
2004
Springer
The use of CAD in design makes it possible to represent complex components “as manufactured” with a great number of details. A transformation of such models into Finite Elemen...
128
click to vote
MATA
2004
Springer
15 years 6 months ago
2004
Springer
Applications for mobile devices have some restrictions because of the limited capabilities and heterogeneity of these devices. However, their communication capabilities allow the d...
NOSSDAV
2004
Springer
15 years 6 months ago
2004
Springer
— We present the design, implementation, and performance evaluation of AMPS — a flexible, scalable proxy testbed that supports a wide and extensible set of next-generation pro...
82
Voted
PACS
2004
Springer
15 years 6 months ago
2004
Springer
Management of power in data centers is driven by the need to not exceed circuit capacity. The methods employed in the oversight of these power circuits are typically static and ad...