Sciweavers

6 search results - page 1 / 2
» An Enhanced Co-Scheduling Method Using Reduced MS-State Diag...
Sort
View
IPPS
1998
IEEE
13 years 8 months ago
An Enhanced Co-Scheduling Method Using Reduced MS-State Diagrams
Instruction scheduling methods based on the construction of state diagrams (or automata) have been used for architectures involving deeply pipelined function units. However, the s...
Ramaswamy Govindarajan, N. S. S. Narasimha Rao, Er...
SOFTVIS
2005
ACM
13 years 10 months ago
Exploiting UML dynamic object modeling for the visualization of C++ programs
In this paper we present an approach to modeling and visualizing the dynamic interactions among objects in a C++ application. We exploit UML diagrams to expressively visualize bot...
Brian A. Malloy, James F. Power
VL
1995
IEEE
121views Visual Languages» more  VL 1995»
13 years 8 months ago
Buffering of Intermediate Results in Dataflow Diagrams
Buffering of intermediate results in dataflow diagrams can significantly reduce latency when a user browses these results or re-executes a diagram with slightly different inputs. ...
Allison Woodruff, Michael Stonebraker
APVIS
2006
13 years 5 months ago
Visual narratives: the essential role of imagination in the visualization process
The goal of this short form paper is to introduce ideas in contemporary visualization that use hand generated methods to engage the imagination of the author and audience to enhan...
Mark Baskinger, Ki-Chol Nam
ICCAD
1996
IEEE
93views Hardware» more  ICCAD 1996»
13 years 8 months ago
VERILAT: verification using logic augmentation and transformations
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
Dhiraj K. Pradhan, Debjyoti Paul, Mitrajit Chatter...