2392 search results - page 233 / 479 » Performance modeling from software components |
200
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Current methods for the automated generation of genome-scale metabolic networks focus on genome annotation and preliminary biochemical reaction network assembly, but d...
162
click to vote
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
A major component of many cloud services is query processing on data stored in the underlying cloud cluster. The traditional techniques for query processing on a cluster are those...
140
click to vote
ENTCS
2006
15 years 4 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
143
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
In this work, we propose a new paradigm called power emulation, which exploits hardware acceleration to drastically speedup power estimation. Power emulation is based on the obser...
145
click to vote
MOBISYS
2007
ACM
16 years 3 months ago
2007
ACM
Provenance becomes a critical requirement for healthcare IT infrastructures, especially when pervasive biomedical sensors act as a source of raw medical streams for large-scale, a...