4719 search results - page 761 / 944 » Newtonian program analysis |
151
click to vote
CSMR
2010
IEEE
14 years 12 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 12 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...
138
Voted
MSR
2006
ACM
15 years 11 months ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
171
click to vote
MICRO
1998
IEEE
15 years 9 months ago
1998
IEEE
To achieve highly accurate branch prediction, it is necessary not only to allocate more resources to branch prediction hardware but also to improve the understanding of branch exe...
147
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
Simulating chip-multiprocessor systems (CMP) can take a long time. For single-threaded workloads, earlier work has shown the utility of phase analysis, that is identification of r...