Sciweavers

2607 search results - page 311 / 522
» On the Architecture of System Verification Environments
Sort
View
AIM
2004
15 years 6 months ago
Say Cheese! Experiences with a Robot Photographer
We have developed an autonomous robot system that takes well-composed photographs of people at social events, such as weddings and conference receptions. The robot, Lewis, navigat...
Zachary Byers, Michael Dixon, William D. Smart, Ci...
HPCA
2008
IEEE
16 years 7 months ago
Supporting highly-decoupled thread-level redundancy for parallel programs
The continued scaling of device dimensions and the operating voltage reduces the critical charge and thus natural noise tolerance level of transistors. As a result, circuits can p...
M. Wasiur Rashid, Michael C. Huang
CODES
2009
IEEE
15 years 10 months ago
TotalProf: a fast and accurate retargetable source code profiler
Profilers play an important role in software/hardware design, optimization, and verification. Various approaches have been proposed to implement profilers. The most widespread app...
Lei Gao, Jia Huang, Jianjiang Ceng, Rainer Leupers...
ICRA
2007
IEEE
136views Robotics» more  ICRA 2007»
16 years 28 days ago
Bilateral Delayed Teleoperation: The Effects of a Passivated Channel Model and Force Sensing
— In this paper, based on a passivity framework, admittance-type and hybrid-type delay-compensated communication channel models are introduced, which warrant different bilateral ...
Arash Aziminejad, Mahdi Tavakoli, Rajnikant V. Pat...
EVOW
2003
Springer
15 years 12 months ago
On the Development of Critics in Evolutionary Computation Artists
One of the problems in the use of evolutionary computer systems in artistic tasks is the lack of artificial models of human critics. In this paper, based on the state of the art an...
Juan Romero, Penousal Machado, Antonino Santos, Am...