Sciweavers

2140 search results - page 307 / 428
» Simulation Issues in Haptics
Sort
View
IPPS
1999
IEEE
15 years 8 months ago
A Formal Framework for Specifying and Verifying Time Warp Optimizations
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
Victoria Chernyakhovsky, Peter Frey, Radharamanan ...
MICRO
1999
IEEE
143views Hardware» more  MICRO 1999»
15 years 8 months ago
Code Transformations to Improve Memory Parallelism
Current microprocessors incorporate techniques to exploit instruction-level parallelism (ILP). However, previous work has shown that these ILP techniques are less effective in rem...
Vijay S. Pai, Sarita V. Adve
HPCA
1998
IEEE
15 years 8 months ago
Virtual-Physical Registers
A novel dynamic register renaming approach is proposed in this work. The key idea of the novel scheme is to delay the allocation of physical registers until a late stage in the pi...
Antonio González, José Gonzál...
ICRA
1998
IEEE
177views Robotics» more  ICRA 1998»
15 years 8 months ago
The Coulomb Pump: a Novel Parts Feeding Method Using a Horizontally-Vibrating Surface
Part feeders, which singulate and orient parts prior to packing and insertion, are critical components of an assembly line. Existing feeders utilize o -plane vibrations of a rigid...
Dan Reznik, John F. Canny
ICRA
1998
IEEE
154views Robotics» more  ICRA 1998»
15 years 8 months ago
Environmental Complexity Control for Vision-Based Learning Mobile Robot
This paper discusses how a robot can develop its state vector according to the complexity of the interactions with its environment. A method for controlling the complexity is prop...
Eiji Uchibe, Minoru Asada, Koh Hosoda