1878 search results - page 151 / 376 » Efficient Performance Models in Component-Based Software Eng... |
77
Voted
BMCBI
2010
14 years 10 months ago
2010
Background: Microorganisms display vast diversity, and each one has its own set of genes, cell components and metabolic reactions. To assess their huge unexploited metabolic poten...
3DIM
2001
IEEE
15 years 1 months ago
2001
IEEE
Building 3D models of real-world objects by assembling views taken by a range sensor promises to be a more efficient method than manually producing CAD drawings. In this technique...
101
click to vote
PAMI
2012
13 years 16 days ago
2012
—Model updating is a critical problem in tracking. Inaccurate extraction of the foreground and background information in model adaptation would cause the model to drift and degra...
EUROSYS
2007
ACM
15 years 7 months ago
2007
ACM
Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. STM aims to be more scalable than explicit coarse...
84
Voted
SCAM
2008
IEEE
15 years 4 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...