3616 search results - page 188 / 724 » Support Tucker Machines |
156
click to vote
SYSTOR
2009
ACM
16 years 1 months ago
2009
ACM
Virtualization is becoming widely deployed in servers to efficiently provide many logically separate execution environments while reducing the need for physical servers. While th...
193
click to vote
TPHOL
2007
IEEE
16 years 24 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
178
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Cell viability is one of the basic properties indicating the physiological state of the cell, thus, it has long been one of the major considerations in biotechnologica...
162
click to vote
TROB
2002
15 years 6 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
158
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
Virtual machine monitors (VMMs) are a popular platform for Internet hosting centers and cloud-based compute services. By multiplexing hardware resources among virtual machines (VM...