4895 search results - page 629 / 979 » Tools for Grammar Engineering |
153
Voted
ASPLOS
2006
ACM
16 years 22 days ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
155
click to vote
ERLANG
2006
ACM
16 years 22 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
213
click to vote
ISSTA
2006
ACM
16 years 21 days ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...
175
click to vote
SIGCOMM
2006
ACM
16 years 21 days ago
2006
ACM
We present Wit, a non-intrusive tool that builds on passive monitoring to analyze the detailed MAC-level behavior of operational wireless networks. Wit uses three processing steps...
193
click to vote
SIGCSE
2006
ACM
16 years 21 days ago
2006
ACM
Traditional approaches to semester-long projects in compiler courses force students to implement the early stages of a compiler in depth; since many students fall behind, they hav...