589 search results - page 33 / 118 » Introducing Dynamic Constraints in B |
ATAL
2010
Springer
13 years 3 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...
ISLPED
2009
ACM
14 years 20 days 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 ...
IPCCC
2005
IEEE
14 years 1 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...
ISMIS
2003
Springer
14 years 1 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 ...
CODES
2006
IEEE
14 years 2 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...