Sciweavers

487 search results - page 29 / 98
» Power emulation: a new paradigm for power estimation
Sort
View
IRI
2007
IEEE
15 years 4 months ago
Reducing hard SAT instances to polynomial ones
This last decade, propositional reasoning and search has been one of the hottest topics of research in the A.I. community, as the Boolean framework has been recognized as a powerf...
Olivier Fourdrinoy, Éric Grégoire, B...
HASE
1998
IEEE
15 years 2 months ago
Object-Oriented Software Testing: Some Research and Development
It is widely accepted that the OO paradigm will signi cantly increase software reusability, extendibility, interoperability, and reliability. This is also true for high assurance ...
David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, C...
DAC
2010
ACM
14 years 10 months ago
Adaptive and autonomous thermal tracking for high performance computing systems
Many DTM schemes rely heavily on the accurate knowledge of the chip's dynamic thermal state to make optimal performance/ temperature trade-off decisions. This information is ...
Yufu Zhang, Ankur Srivastava
IEEESCC
2005
IEEE
15 years 3 months ago
Knowledge as a Service and Knowledge Breaching
In this paper, we introduce and explore a new computing paradigm we call knowledge as a service, in which a knowledge service provider, via its knowledge server, answers queries p...
Shouhuai Xu, Weining Zhang
SSDBM
1998
IEEE
113views Database» more  SSDBM 1998»
15 years 1 months ago
From a Procedural to a Visual Query Language for OLAP
We address the issue of designing effective query languages for OLAP databases. The basis of our investigation is MD, a new data model for multidimensional databases that, unlike ...
Luca Cabibbo, Riccardo Torlone