Sciweavers

3532 search results - page 510 / 707
» Visualization of SystemC Designs
Sort
View
ASSETS
1998
ACM
15 years 10 months ago
Conversational Gestures for Direct Manipulation on the Audio Desktop
We describe the speech-enabling approach to building auditory interfaces that treat speech as a first-class modality. The process of designing effective auditory interfaces is de...
T. V. Raman
CSCW
1998
ACM
15 years 10 months ago
Meme Tags and Community Mirrors: Moving from Conferences to Collaboration
Meme Tags are part of a body of research on GroupWear: a wearable technology that supports people in the formative stages of cooperative work. Conference participants wear Meme Ta...
Richard Borovoy, Fred Martin, Sunil Vemuri, Mitche...
SIGADA
1998
Springer
15 years 10 months ago
Algorithm Animation with Symbol Processing Robots
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...
Brad S. Crawford
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 10 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
SRDS
1997
IEEE
15 years 10 months ago
Comparing Operating Systems Using Robustness Benchmarks
When creating mission-critical distributed systems using off-the-shelf components, it is important to assess the dependability of not only the hardware, but the software as well. ...
Philip J. Koopman Jr., John Sung, Christopher P. D...