Sciweavers

1791 search results - page 120 / 359
» Behavioral Operations
Sort
View
134
Voted
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
15 years 10 months ago
PLFire: A Visualization Tool for Asynchronous Phased Logic Designs
We present a visualization tool called PLFire, which allows a user to observe the behavior of a Phased Logic (PL) circuit. Phased logic is a technique for realizing self-timed cir...
Kenneth Fazel, Mitchell A. Thornton, Robert B. Ree...
GI
2009
Springer
15 years 9 months ago
True Lies: Lazy Contracts for Lazy Languages
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...
Markus Degen, Peter Thiemann, Stefan Wehr
ISCAS
1999
IEEE
99views Hardware» more  ISCAS 1999»
15 years 9 months ago
CMOS gate modeling based on equivalent inverter
A method for modeling complex CMOS gates by the reduction of each gate to an effective equivalent inverter is introduced. The conducting and parasitic behavior of parallel and ser...
Alexander Chatzigeorgiou, Spiridon Nikolaidis, Ioa...
MMM
1998
Springer
296views Multimedia» more  MMM 1998»
15 years 9 months ago
Interaction with a Projection Screen Using a Camera-tracked Laser Pointer
A system for direct interaction with a video projection screen using a laser pointer is presented. The laser point on the screen is captured by a video camera, and its location re...
Carsten Kirstein, Heinrich Müller
ICRA
1994
IEEE
193views Robotics» more  ICRA 1994»
15 years 8 months ago
A Coordinated Jacobian Transpose Control for Mobile Multi-Limbed Robotic Systems
Thisanalyticand experiment studyproposes a control algorithm based on Jacobian Controlfor coordinated position andforce controlfor autonomous multi-limbed mobile robotic systems. ...
Craig Sunada, Dalila Argaez, Steven Dubowsky, Cons...