Sciweavers

1949 search results - page 212 / 390
» Protective Interface Specifications
Sort
View
SC
2000
ACM
15 years 7 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 7 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 7 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 7 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 7 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...