Sciweavers

2838 search results - page 212 / 568
» Verifying Controlled Components
Sort
View
CBMS
1999
IEEE
15 years 6 months ago
Decision Support System for Multiuser Remote Microscopy in Telepathology
Recent advances in networking, robotics, and computer technology allow today realtime diagnosis, consultation, and education by using images obtained through remote microscopy. Th...
Dorin Comaniciu, Bogdan Georgescu, Peter Meer, Wen...
CASES
2004
ACM
15 years 6 months ago
Translating affine nested-loop programs to process networks
New heterogeneous multiprocessor platforms are emerging that are typically composed of loosely coupled components that exchange data using programmable interconnections. The compon...
Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere
107
Voted
ECSCW
2001
15 years 3 months ago
Reducing interference in single display groupware through transparency
Single Display Groupware (SDG) supports face-to-face collaborators working over a single shared display, where all people have their own input device Although SDG is simple in conc...
Ana Zanella, Saul Greenberg
PC
1998
125views Management» more  PC 1998»
15 years 2 months ago
A High-Performance Active Digital Library
We describe Javaflow and Paraflow, the client and server parts of a digital library, providing high-performance data-retrieval and data-mining services, with emphasis on user in...
Roy Williams, Bruce Sears
116
Voted
ACSD
2010
IEEE
224views Hardware» more  ACSD 2010»
15 years 16 days ago
Robustness of Sequential Circuits
Digital components play a central role in the design of complex embedded systems. These components are interconnected with other, possibly analog, devices and the physical environm...
Laurent Doyen, Thomas A. Henzinger, Axel Legay, De...