198 search results - page 3 / 40 » An Integrated Validation Environment for Differential Power ... |
69
Voted
EDBT
2010
ACM
15 years 4 months ago
2010
ACM
Querying non-conventional data is recognized as a major issue in new environments and applications such as those occurring in pervasive computing. A key issue is the ability to qu...
HICSS
1997
IEEE
15 years 1 months ago
1997
IEEE
Variousproposals have been madefor new paradigms for operating the restructuring electrical system. One of the key challenges associated with this restructuring is to effectively ...
JUCS
2010
14 years 4 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
BMCBI
2006
14 years 9 months ago
2006
Background: With the advent of metabolomics as a powerful tool for both functional and biomarker discovery, the identification of specific differences between complex metabolite p...
71
Voted
DAC
2010
ACM
14 years 9 months ago
2010
ACM
This paper describes a fast, automated technique for accurate on-line estimation of the performance and power consumption of interacting processes in a multi-programmed, multi-cor...