Sciweavers

2072 search results - page 40 / 415
» Multibook's test environment
Sort
View
128
Voted
KBSE
2010
IEEE
15 years 3 months ago
A visual interactive debugger based on symbolic execution
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...
Reiner Hähnle, Marcus Baum, Richard Bubel, Ma...
154
Voted
ISER
2004
Springer
112views Robotics» more  ISER 2004»
15 years 10 months ago
Toward Reliable Off Road Autonomous Vehicles Operating in Challenging Environments
The DARPA PerceptOR program implements a rigorous evaluative test program which fosters the development of field relevant outdoor mobile robots. Autonomous ground vehicles are depl...
Alonzo Kelly, Omead Amidi, Mike Bode, Michael Happ...
ASPDAC
2006
ACM
133views Hardware» more  ASPDAC 2006»
15 years 11 months ago
An SPU reference model for simulation, random test generation and verification
– An instruction set level reference model was developed for the development of synergistic processing unit (SPU) , which is one of the key components of the cell processor [1][2...
Yukio Watanabe, Balazs Sallay, Brad W. Michael, Da...
110
Voted
ICRA
2006
IEEE
81views Robotics» more  ICRA 2006»
15 years 11 months ago
Hardware-in-the-loop Test Rig for Designing Near-earth Aerial Robotics
Today’s aerial robots are being tasked to fly in nearEarth environments such as caves, forests and buildings. The lack of flight data and performance metrics poses a gap that ...
Vefa Narli, Paul Y. Oh
JCP
2007
103views more  JCP 2007»
15 years 5 months ago
Conformance Testing a Set of Criteria for Assessing Trust
—The ability to authenticate the identity of an entity in an open and insecure environment such as the Internet plays an important role in reducing potential threats and Public k...
Omar Batarfi, Lindsay Marshall