Sciweavers

1418 search results - page 98 / 284
» How to Explain Mistakes
Sort
View
DATE
2006
IEEE
130views Hardware» more  DATE 2006»
14 years 4 months ago
Automatic run-time selection of power policies for operating systems
A significant volume of research has concentrated on operating-system directed power management (OSPM). The primary focus of previous research has been the development of OSPM po...
Nathaniel Pettis, Jason Ridenour, Yung-Hsiang Lu
ICDE
2006
IEEE
122views Database» more  ICDE 2006»
14 years 4 months ago
Pragmatics and Open Problems for Inter-schema Constraint Theory
We consider pragmatic issues in applying constraint-based theories (such as that developed for data exchange) to a variety of problems. We identify disconnects between theoreticia...
Arnon Rosenthal, Leonard J. Seligman
ISCAS
2006
IEEE
54views Hardware» more  ISCAS 2006»
14 years 3 months ago
Modeling of switched DC-DC converters by mixed s-z description
— The paper explains the basic ideas of how to model the dynamical properties of switched DC-DC converters by means of the so-called generalized transfer functions (GTFs). Switch...
Dalibor Biolek, Viera Biolkova, Josef Dobes
PARELEC
2006
IEEE
14 years 3 months ago
Scientific Programming for Heterogeneous Systems - Bridging the Gap between Algorithms and Applications
High performance computing in heterogeneous environments is a dynamically developing area. A number of highly efficient heterogeneous parallel algorithms have been designed over l...
Alexey L. Lastovetsky
APLAS
2006
ACM
14 years 3 months ago
Widening Polyhedra with Landmarks
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
Axel Simon, Andy King