227 search results - page 25 / 46 » Quantitative verification: models techniques and tools |
BMCBI
2007
15 years 2 months ago
2007
Background: Techniques for measuring protein abundance are rapidly advancing and we are now in a situation where we anticipate many protein abundance data sets will be available i...
134
click to vote
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
117
click to vote
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
The design of high performance multimedia systems in a short time force us to use IP's blocks in many designs. However, their correct integration in a design implies more com...
106
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
130
Voted
WWW
2005
ACM
16 years 2 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...