852 search results - page 136 / 171 » The design, implementation, and application of the grewpEdit... |
87
Voted
DAC
2007
ACM
15 years 2 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...
105
click to vote
CODES
2009
IEEE
15 years 2 months ago
2009
IEEE
Profilers play an important role in software/hardware design, optimization, and verification. Various approaches have been proposed to implement profilers. The most widespread app...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
We have developed software tools that aim to support the cooperative software engineering tasks and promote an awareness of social dependencies that is essential to successful coo...
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
ASPLOS
2006
ACM
15 years 4 months 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 ...