1516 search results - page 5 / 304 » Trends in Software Verification |
DAGSTUHL
2007
14 years 11 months ago
2007
Driven by the ongoing demographical, structural, and social changes in all modern, industrialized countries, there is a huge interest in IT-based equipment and services these days...
SAMOS
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents an overview of trends in low power handset SDR implementations. With the market for SDR-enabled handsets expected to grow to 200M units by 2014, the barriers to...
FMSD
2002
14 years 9 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
101
click to vote
ESEM
2009
ACM
14 years 7 months ago
2009
ACM
In an investigating study to trace the productivity changes of a commercial software project, which uses incremental and iterative development model, we've found evidence tha...
ASPDAC
2009
ACM
15 years 4 months ago
2009
ACM
