1710 search results - page 127 / 342 » High-Level Programs and Program Conditions |
PPOPP
2011
ACM
12 years 11 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...
QSIC
2005
IEEE
14 years 1 months ago
2005
IEEE
Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
CD
2004
Springer
14 years 1 months ago
2004
Springer
Abstract In this paper we present a framework defining the architecture of systems providing software components with means to contractualise their resource access conditions with...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...