Sciweavers

1860 search results - page 94 / 372
» tools 2009
Sort
View
IWPC
2009
IEEE
15 years 7 months ago
Impact analysis and visualization toolkit for static crosscutting in AspectJ
Understanding aspect-oriented systems, without appropriate tool support, is a difficult and a recognized problem in the research community. Surprisingly, little has been done to ...
Dehua Zhang, Ekwa Duala-Ekoko, Laurie J. Hendren
120
Voted
ISLPED
2009
ACM
125views Hardware» more  ISLPED 2009»
15 years 7 months ago
Behavior-level observability don't-cares and application to low-power behavioral synthesis
Many techniques for power management employed in advanced RTL synthesis tools rely explicitly or implicitly on observability don’t-care (ODC) conditions. In this paper we presen...
Jason Cong, Bin Liu, Zhiru Zhang
101
Voted
ICSE
2009
IEEE-ACM
15 years 5 months ago
Automating Structural Testing of C Programs: Experience with PathCrawler
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
Bernard Botella, Mickaël Delahaye, Sté...
90
Voted
CHI
2009
ACM
16 years 1 months ago
CoSense: enhancing sensemaking for collaborative web search
Making sense of the information found during an investigational Web search task can be daunting. With the recent emergence of tools to support collaborative Web search, the associ...
Sharoda A. Paul, Meredith Ringel Morris
IEEEARES
2009
IEEE
15 years 7 months ago
Investigating the Implications of Virtual Machine Introspection for Digital Forensics
— Researchers and practitioners in computer forensics currently must base their analysis on information that is either incomplete or produced by tools that may themselves be comp...
Kara L. Nance, Brian Hay, Matt Bishop