10038 search results - page 1872 / 2008 » Model Checking for Managers |
137
click to vote
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
There is building interest in using FPGAs as accelerators for high-performance computing, but existing systems for programming them are so far inadequate. In this paper we propose...
172
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
Hadoop is a software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. The efficiency of ...
140
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
Thermal management is critical for clusters because of the increasing power consumption of modern processors, compact server architectures and growing server density in data center...
117
Voted
OTM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Nowadays, virtualization solutions are gaining increasing importance. By enabling the sharing of physical resources, thus making resource usage more efficient, they promi...
OTM
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we deal with problems occurring in evolving interrelated Web databanks. Examples of such databanks are networks of interlinked scientific repositories on the Web, man...