Sciweavers

13895 search results - page 315 / 2779
» Exploring
Sort
View
ICCAD
1997
IEEE
66views Hardware» more  ICCAD 1997»
15 years 9 months ago
Sequential optimisation without state space exploration
We propose an algorithm for area optimisation of sequential circuits through redundancy removal. The algorithm finds compatible redundancies by implying values over nets in the c...
Amit Mehrotra, Shaz Qadeer, Vigyan Singhal, Robert...
TACAS
1998
Springer
95views Algorithms» more  TACAS 1998»
15 years 9 months ago
Symbolic Exploration of transition Hierarchies
Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajama...
121
Voted
INFOVIS
1997
IEEE
15 years 9 months ago
Coordinating declarative queries with a direct manipulation data exploration environment
Mark Derthick, Steven F. Roth, John Kolojejchick
INFOVIS
1997
IEEE
15 years 9 months ago
On Integrating Visualization Techniques for Effective Software Exploration
Margaret-Anne D. Storey, Kenny Wong, F. David Frac...
144
Voted
IPPS
1997
IEEE
15 years 9 months ago
Interactive Visual Exploration of Distributed Computations
Program understanding is central to the development of distributed computations, from the initial coding phase, through testing and debugging, to maintenance and support. Our goal...
Delbert Hart, Eileen Kraemer