766 search results - page 64 / 154 » An operating system for multicore and clouds: mechanisms and... |
MKM
2007
Springer
14 years 3 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
RTAS
1999
IEEE
14 years 1 months ago
1999
IEEE
Data replication can help database systems meet the stringent temporal constraints of current time-critical applications, especially Internet-based services. A prerequisite, howev...
CISS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— We consider a joint randomized scheduling, congestion control mechanism for general wireless networks. We allow for a set of imperfections in the operation of the rando...
LISA
2008
13 years 11 months ago
2008
Two common tools in Linux- and UNIX-based environments are SSH for secure communications and sudo for performing administrative tasks. These are independent programs with substant...
IEEEPACT
2007
IEEE
14 years 3 months ago
2007
IEEE
As multi-core architectures flourish in the marketplace, multi-application workload scenarios (such as server consolidation) are growing rapidly. When running multiple application...