2881 search results - page 264 / 577 » Model Checking for Programming Languages using Verisoft |
229
click to vote
PPOPP
2011
ACM
14 years 9 months ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
144
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
183
click to vote
CSI
2007
15 years 6 months ago
2007
The Unified Modeling Language (UML) is being used as the de-facto standard in the software industry. With the adoption of UML 2.0, the new enhancements allow this version to desc...
222
click to vote
ISSTA
2012
ACM
13 years 9 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
156
click to vote
ISOOMS
1994
15 years 10 months ago
1994
Existing approaches to object-oriented system development are poorly integrated in several ways. This inadequate integration is ubiquitous and causes numerous inefficiencies in th...