9145 search results - page 1727 / 1829 » Description Logic Systems |
167
Voted
ICCD
2008
IEEE
16 years 12 days ago
2008
IEEE
— Embedded processors are required to achieve high performance while running on batteries. Thus, they must exploit all the possible means available to reduce energy consumption w...
133
Voted
ISCA
2007
IEEE
15 years 9 months ago
2007
IEEE
Server consolidation is becoming an increasingly popular technique to manage and utilize systems. This paper develops CMP memory systems for server consolidation where most sharin...
172
Voted
CSL
2007
Springer
15 years 9 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...
153
click to vote
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
133
Voted
IEEEPACT
2006
IEEE
15 years 9 months ago
2006
IEEE
Multiprocessor operating systems (OSs) pose several unique and conflicting challenges to System Virtual Machines (System VMs). For example, most existing system VMs resort to gan...