Sciweavers

501 search results - page 73 / 101
» Diagram Techniques for Confluence
Sort
View
SIGGRAPH
1990
ACM
15 years 6 months ago
Rapid controlled movement through a virtual 3D workspace
not abstract asymmetry: different sides looks different clumps different from "data objects" need grid structure, alignment [Design Guidelines for Landmarks to Support Na...
Jock D. Mackinlay, Stuart K. Card, George G. Rober...
CHI
2005
ACM
16 years 2 months ago
ImproViz: visual explorations of jazz improvisations
ImproViz is a visualization technique for diagramming music that brings to light the signature patterns of a jazz musician's improvisational style. ImproViz consists of two p...
Jon Snydal, Marti A. Hearst
ICCAD
2002
IEEE
176views Hardware» more  ICCAD 2002»
15 years 10 months ago
High capacity and automatic functional extraction tool for industrial VLSI circuit designs
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
Sasha Novakovsky, Shy Shyman, Ziyad Hanna
ISMVL
2009
IEEE
124views Hardware» more  ISMVL 2009»
15 years 8 months ago
Equivalence Checking of Reversible Circuits
Determining the equivalence of reversible circuits designed to meet a common specification is considered. The circuits’ primary inputs and outputs must be in pure logic states ...
Robert Wille, Daniel Große, D. Michael Mille...
ISORC
2008
IEEE
15 years 8 months ago
On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles
The performance of autonomous vehicles could be drastically improved if ad-hoc networking and suitable real-time coordination is employed to optimize and improve the joint behavio...
Basil Becker, Holger Giese