2838 search results - page 373 / 568 » Verifying Controlled Components |
166
Voted
CPAIOR
2004
Springer
16 years 10 days 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...
152
click to vote
IMR
2004
Springer
16 years 9 days 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...
223
Voted
MATA
2004
Springer
16 years 9 days 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...
180
Voted
NOSSDAV
2004
Springer
16 years 9 days 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...
159
click to vote
PACS
2004
Springer
16 years 9 days 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...