300 search results - page 52 / 60 » Automated debugging in eclipse |
84
Voted
INTEGRATION
2008
14 years 11 months ago
2008
Physical synthesis is a relatively young field in Electronic Design Automation. Many published optimizations for physical synthesis end up hurting the quality of the final design,...
TVLSI
2008
14 years 10 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
95
Voted
TOMACS
2002
14 years 10 months ago
2002
The utility of simulations and analysis heavily relies on good models of network traffic. While network traffic constantly changing over time, existing approaches typically take y...
105
click to vote
SAC
2008
ACM
14 years 10 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
79
Voted
CHI
2010
ACM
15 years 5 months ago
2010
ACM
Testing a GUI’s visual behavior typically requires human testers to interact with the GUI and to observe whether the expected results of interaction are presented. This paper pr...