Sciweavers

2028 search results - page 244 / 406
» Differential Power Analysis Model and Some Results
Sort
View
DAGSTUHL
2006
15 years 8 months ago
Efficient Software Model Checking of Data Structure Properties
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
Chandrasekhar Boyapati, Paul T. Darga
VLDB
2007
ACM
149views Database» more  VLDB 2007»
16 years 21 days ago
Probabilistic Skylines on Uncertain Data
Uncertain data are inherent in some important applications. Although a considerable amount of research has been dedicated to modeling uncertain data and answering some types of qu...
Jian Pei, Bin Jiang, Xuemin Lin, Yidong Yuan
ECOOPW
1997
Springer
15 years 10 months ago
The Object Model for a Product Based Development Process
The traditional workflow process model is typically illustrated with a graph of activities, tasks, deliverables and techniques. From an object-oriented perspective, every identifi...
Pavel Hruby
ESANN
2000
15 years 8 months ago
Load forecasting dealing with medium voltage network reconfiguration
Planing the operation in modern power systems requires suitable anticipation of load evolution at different levels of distribution network. Under this perspective, load forecasting...
José Nuno Fidalgo, João Abel Pe&cced...
ECRTS
2005
IEEE
16 years 6 days ago
Speed Modulation in Energy-Aware Real-Time Systems
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
Enrico Bini, Giorgio C. Buttazzo, Giuseppe Lipari