Sciweavers

1949 search results - page 212 / 390
» Protective Interface Specifications
Sort
View
SC
2000
ACM
15 years 10 months ago
Dynamic Software Testing of MPI Applications with Umpire
As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed com...
Jeffrey S. Vetter, Bronis R. de Supinski
ESEC
1999
Springer
15 years 10 months ago
The CIP Method: Component- and Model-Based Construction of Embedded Systems
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
Hugo Fierz
VR
1999
IEEE
112views Virtual Reality» more  VR 1999»
15 years 10 months ago
Third-Person Navigation of Whole-Planet Terrain in a Head-tracked Stereoscopic Environment
Navigation and interaction in virtual environments that use stereoscopic head-tracked displays and have very large data sets present several challenges beyond those encountered wi...
Zachary Wartell, William Ribarsky, Larry F. Hodges
APCHI
1998
IEEE
15 years 10 months ago
Tickertape: Notification and Communication in a Single Line
This paper outlines an awareness application called Tickertape. Tickertape is a tool that displays event notifications in the form of scrolling messages across a single-line windo...
Sara Parsowith, Geraldine Fitzpatrick, Simon M. Ka...
CHI
1997
ACM
15 years 10 months ago
The Cognitive Ergonomics of Knowledge-Based Design Support Systems
Critiquing systems are a type of active, knowledge-based design support system. They propose to positively influence designers’ cognitive processes by pointing out potential pro...
Tamara Sumner, Nathalie Bonnardel, Benedikte Harst...