Sciweavers

3031 search results - page 464 / 607
» Virtual development center
Sort
View
KBSE
2000
IEEE
15 years 11 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
CSCW
2000
ACM
15 years 10 months ago
Shared walk environment using locomotion interfaces
By sharing data regarding the sensations experienced by individuals, as well as by sharing their knowledge, we are readily able to communicate with each other, and there are possi...
Hiroaki Yano, Haruo Noma, Hiroo Iwata, Tsutomu Miy...
ICRA
1999
IEEE
114views Robotics» more  ICRA 1999»
15 years 10 months ago
A Human-Robot Interface Using an Extended Digital Desk
MuchattentionhasrecentlybeenpaidtoAugmented Reality (AR) systems, which can enhance a human's dailylife by blending multi-modalinformation with the real world. Most existing ...
Maho Terashima, Shigeyuki Sakane
HPDC
1998
IEEE
15 years 10 months ago
Personal Tele-Immersion Devices
The Electronic Visualization Laboratory (EVL) at the University of Illinois at Chicago (UIC) has partnered with dozens of computational scientists and engineers to create visualiz...
Thomas A. DeFanti, Daniel J. Sandin, Gregory Dawe,...
IEEEPACT
1998
IEEE
15 years 10 months ago
A New Heuristic for Scheduling Parallel Programs on Multiprocessor
In this paper, we present an efficient algorithm, called CASS-II, for task clustering without task duplication. Unlike the DSC algorithm, which is empirically the best known algor...
Jing-Chiou Liou, Michael A. Palis