Sciweavers

2082 search results - page 259 / 417
» Change Paths in Reasoning!
Sort
View
ICCAD
1999
IEEE
95views Hardware» more  ICCAD 1999»
15 years 8 months ago
Dynamic power management using adaptive learning tree
Dynamic Power Management (DPM) is a technique to reduce power consumption of electronic systems by selectively shutting down idle components. The quality of the shutdown control a...
Eui-Young Chung, Luca Benini, Giovanni De Micheli
95
Voted
MICRO
1999
IEEE
71views Hardware» more  MICRO 1999»
15 years 8 months ago
Selective Cache Ways: On-Demand Cache Resource Allocation
Increasing levels of microprocessor power dissipation call for new approaches at the architectural level that save energy by better matching of on-chip resources to application re...
David H. Albonesi
IUI
1997
ACM
15 years 8 months ago
Local Plan Recognition in Direct Manipulation Interfaces
Plan recognition in direct manipulation interfaces must deal with the problem that the information obtained is of low quality with respect to the plan recognition task. There are ...
Annika Wærn
124
Voted
BIRTHDAY
2009
Springer
15 years 8 months ago
Modular Verification of Strongly Invasive Aspects
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
Emilia Katz, Shmuel Katz
CAISE
2009
Springer
15 years 8 months ago
Anomaly Detection Using Process Mining
Abstract. Recently, several large companies have been involved in financial scandals related to mismanagement, resulting in financial damages for their stockholders. In response, c...
Fábio de Lima Bezerra, Jacques Wainer, Wil ...