853 search results - page 38 / 171 » On Integrating Visualization Techniques for Effective Softwa... |
143
click to vote
APVIS
2006
15 years 7 months ago
2006
The geometry PIG is a system that can inspect the inside of a pipeline. The amount of pigging data is usually considerable because the system records multi-channel sensor values f...
141
click to vote
CODES
2001
IEEE
15 years 9 months ago
2001
IEEE
This paper explores an application-specific customization technique for the data cache, one of the foremost area/power consuming and performance determining microarchitectural fea...
153
click to vote
ICCAD
1995
IEEE
15 years 9 months ago
1995
IEEE
A key aspect of the synthesis of embedded systems is the automatic integration of system components. This entails the derivation of both the hardware and software interfaces that ...
147
click to vote
AAAI
1994
15 years 7 months ago
1994
This research explores the interaction of textual and photographic information in document understanding. The problem of performing generalpurpose vision without apriori knowledge...
134
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...