4716 search results - page 748 / 944 » Iterative-free program analysis |
149
click to vote
CSMR
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Building comprehensive test suites for web applications poses new challenges in software testing. Coverage criteria used for traditional systems to assess the quality of ...
175
click to vote
TSE
2011
14 years 11 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
186
click to vote
INFOCOM
2011
IEEE
14 years 8 months ago
2011
IEEE
—Cooperative communication has attracted dramatic attention in the last few years due to its advantage in mitigating channel fading. Despite much effort that has been made in the...
227
click to vote
DOCENG
2011
ACM
14 years 4 months ago
2011
ACM
A use case involving integrating results from search engines illustrates how the meta-metadata language facilitates interoperable metadata semantics. Formal semantics can be hard ...
160
click to vote
PPOPP
2012
ACM
14 years 11 days ago
2012
ACM
Analysis of massive graphs has emerged as an important area for massively parallel computation. In this paper, it is shown how the Fresh Breeze trees-of-chunks memory model may be...