5333 search results - page 482 / 1067 » Optimizing Computer System Configurations |
116
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We present negotiation schemes for efficient role adoption that enhance utility in organizations. In one scheme, local utility computations determine role adoption. In the second ...
166
click to vote
CDC
2008
IEEE
16 years 24 days ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
186
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
Modern processor architectures call for software that is highly tuned to an unpredictable operating environment. Processlevel virtualization systems allow existing software to ada...
146
click to vote
IPPS
2006
IEEE
16 years 10 days ago
2006
IEEE
Internet sharing systems aim at federating and utilizing distributed computing resources across the Internet. This paper presents a user-level virtual machine (VM) approach to MPI...
163
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
Operating at the intersection of multiple sensing and control systems designed for occupant comfort, performability and operational efficiency, modern buildings represent a protot...