315 search results - page 21 / 63 » Architecture for Modular Data Centers |
SRDS
2006
IEEE
14 years 3 months ago
2006
IEEE
Data centers constructed as clusters of inexpensive machines have compelling cost-performance benefits, but developing services to run on them can be challenging. This paper repo...
FROCOS
2009
Springer
14 years 4 months ago
2009
Springer
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative k...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
We present a modular and scalable approach for automatically extracting actual performance information from a set of FPGA-based architecture topologies. This information is used d...
ISVC
2007
Springer
14 years 4 months ago
2007
Springer
This paper describes a GPU framework for the real-time visualization of natural textured terrains, as well as the steps that are needed to populate them on-the-fly with tens of tho...
TPHOL
2000
IEEE
14 years 2 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...