963 search results - page 166 / 193 » Formal Analysis of BPMN Models Using Event-B |
136
click to vote
HPCA
2005
IEEE
16 years 4 months ago
2005
IEEE
Dynamic voltage and frequency scaling (DVFS) is a widely-used method for energy-efficient computing. In this paper, we present a new intra-task online DVFS scheme for multiple clo...
140
click to vote
CIDM
2007
IEEE
15 years 10 months ago
2007
IEEE
— In recent applications of clustering such as gene expression microarray analysis, collaborative filtering, and web mining, object similarity is no longer measured by physical ...
147
click to vote
ENTCS
2007
15 years 3 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
143
click to vote
JDWM
2007
15 years 3 months ago
2007
Comprehensive data analysis has become indispensable in a variety of domains. OLAP (On-Line Analytical Processing) systems tend to perform poorly or even fail when applied to comp...
158
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...