Sciweavers

3943 search results - page 212 / 789
» Architecture-Level Requirements Specification
Sort
View
ICDT
1997
ACM
133views Database» more  ICDT 1997»
15 years 10 months ago
A Formal Foundation for Distributed Workflow Execution Based on State Charts
This paper provides a formal foundation for distributed workfiow executions. The state chart formalism is adapted to the needs of a workflow model in order to establish a basis for...
Dirk Wodtke, Gerhard Weikum
ISLPED
1996
ACM
68views Hardware» more  ISLPED 1996»
15 years 10 months ago
Energy-recovery CMOS for highly pipelined DSP designs
We compare the frequency-versus-power dissipation performance of two energy-recovery CMOS implementations to that of a conventional, supply-voltage-scaled design. The application ...
William C. Athas, W.-C. Liu, Lars J. Svensson
EURODAC
1994
IEEE
138views VHDL» more  EURODAC 1994»
15 years 10 months ago
A VHDL-based bus model for multi-PCB system design
In the development of bus-based systems and individual PCB boards interfacing to a bus, the simulation usually requires a specific test bench or creation of quite complex stimuli....
Jari Toivanen, Jari Honkola, Jari Nurmi, Jyrki Tuo...
ICRA
1993
IEEE
126views Robotics» more  ICRA 1993»
15 years 10 months ago
Toward a New Intelligent Reactive Controller for Autonomous Mobile Robots
A survey of blackboard robotics applications shows the improvements of blackboard models used in telerobotics and autonomous robots from the use of sequential blackboard in the ro...
Jean-Yves Tigli, Michel Occello, M.-C. Thomas
CHI
1994
ACM
15 years 10 months ago
Hierarchical visualization with treemaps: making sense of pro basketball data
Treemaps support visualization of large hierarchical information spaces. The treemap generation algorithm is straightforward and application prototypes have only minimal hardware ...
David Turo