5 search results - page 1 / 1 » Using a First Order Logic to Verify That Some Set of Reals H... |
ITP
2010
13 years 6 months ago
2010
VLSI
2007
Springer
13 years 11 months ago
2007
Springer
In this paper, we present the way of fast and accurate estimation of software energy consumption in off-the-shelf processor using IPI(Inter-Prefetch Interval) energy model. In ou...
FPGA
2000
ACM
13 years 8 months ago
2000
ACM
In this paper we revisit the FPGA architectural issue of the effect of logic block functionality on FPGA performance and density. In particular, in the context of lookup table, cl...
WEBI
2010
Springer
13 years 2 months ago
2010
Springer
In recent years, there has been an explosion of publicly available RDF and OWL web pages. Some of these pages are static text files, while others are dynamically generated from la...
ICDT
2010
ACM
14 years 2 months ago
2010
ACM
Sources of data uncertainty and imprecision are numerous. A way to handle this uncertainty is to associate probabilistic annotations to data. Many such probabilistic database mode...