1182 search results - page 113 / 237 » Reducing the Overhead of Dynamic Analysis |
118
click to vote
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
159
Voted
IPPS
2010
IEEE
15 years 21 days ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
155
Voted
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
110
click to vote
JCM
2008
15 years 3 months ago
2008
Power consumption is a critical issue for many applications running on autonomous battery operated devices. In the context of low power communications, the use of Forward Error Cor...
150
Voted
WIOPT
2010
IEEE
15 years 1 months ago
2010
IEEE
—Opportunistic forwarding is a simple scheme for packet routing in ad hoc wireless networks such as duty cycling sensor networks in which reducing energy consumption is a princip...