589 search results - page 33 / 118 » Introducing Dynamic Constraints in B |
139
click to vote
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
The Affine ADD (AADD) is an extension of the Algebraic Decision Diagram (ADD) that compactly represents context-specific, additive and multiplicative structure in functions from a...
129
click to vote
ISLPED
2009
ACM
15 years 8 months ago
2009
ACM
In this paper, we propose a proactive dynamic thermal management scheme for chip multiprocessors that run multi-threaded workloads. We introduce a new predictor that utilizes the ...
130
Voted
IPCCC
2005
IEEE
15 years 9 months ago
2005
IEEE
Localization is a fundamental operation in mobile and self-configuring networks such as sensor networks and mobile ad hoc networks. For example, sensor location is often critical...
144
Voted
ISMIS
2003
Springer
15 years 8 months ago
2003
Springer
Object-Relational database management system is an integrated hybrid cooperative approach to combine the best practices of both the relational model utilizing SQL queries and the ...
117
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
The ability to do fine grain power management via local voltage selection has shown much promise via the use of Voltage/ Frequency Islands (VFIs). VFI-based designs combine the a...