3379 search results - page 300 / 676 » Powers of Two |
172
click to vote
JCDL
2004
ACM
16 years 3 days ago
2004
ACM
We describe two experimental desktop library clients that offer improved access to geospatial data via the Alexandria Digital Library (ADL): ArcADL, an extension to ESRI's Ar...
165
click to vote
VRCAI
2004
ACM
16 years 3 days ago
2004
ACM
This paper explores the possibilities of using portable devices in multiprojection environments, such as CAVEs, Panoramas and Power Walls. We propose and implement a tool to gener...
173
click to vote
FMCAD
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
177
click to vote
FPL
2004
Springer
16 years 2 days ago
2004
Springer
This paper investigates experimentally the quantitative impact of pipelining on energy per operation for two representative FPGA devices: a 0.13µm CMOS high density/high speed FPG...
136
click to vote
GPCE
2004
Springer
16 years 2 days ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...