13489 search results - page 2536 / 2698 » Operating System |
208
click to vote
ISCA
2007
IEEE
16 years 22 days ago
2007
IEEE
Large-scale Internet services require a computing infrastructure that can be appropriately described as a warehouse-sized computing system. The cost of building datacenter facilit...
178
click to vote
MOBIQUITOUS
2007
IEEE
16 years 21 days ago
2007
IEEE
—This paper discusses the design and implementation of an ultra low power embedded GPS receiver node for use in remote monitoring situations where battery life is of the utmost i...
213
click to vote
AB
2007
Springer
16 years 19 days ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
179
click to vote
CDVE
2007
Springer
16 years 18 days ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
168
click to vote
HIPEAC
2007
Springer
16 years 18 days ago
2007
Springer
A critical component in the design of secure processors is memory encryption which provides protection for the privacy of code and data stored in off-chip memory. The overhead of ...