Sciweavers

1554 search results - page 110 / 311
» Testing Polymorphic Behavior
Sort
View
DATE
2006
IEEE
143views Hardware» more  DATE 2006»
14 years 2 months ago
A coverage metric for the validation of interacting processes
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
Ian G. Harris
ISSRE
2002
IEEE
14 years 1 months ago
Effect of Disturbances on the Convergence of Failure Intensity
We report a study to determine the impact of four types of disturbances on the failure intensity of a software product undergoing system test. Hardware failures, discovery of a cr...
João W. Cangussu, Aditya P. Mathur, Raymond...
ISSS
1995
IEEE
109views Hardware» more  ISSS 1995»
13 years 11 months ago
1995 high level synthesis design repository
In this paper we brie y describe a set of designs that can serve as examples for High Level Synthesis (HLS) systems. The designs vary in complexity from simple behavioral nite st...
Preeti Ranjan Panda, Nikil D. Dutt
ATAL
2007
Springer
14 years 2 months ago
Coordination and Sociability for Intelligent Virtual Agents
This paper presents a multi-agent framework designed to simulate synthetic humans that properly balance task oriented and social behaviors. The work presented in this paper focuses...
Francisco Grimaldo, Miguel Lozano, Fernando Barber
CIMCA
2005
IEEE
14 years 1 months ago
Learning to feel the physics of a body
Despite the tremendous progress in robotic hardware and in both sensorial and computing efficiencies the performance of contemporary autonomous robots is still far below that of ...
Ralf Der, Frank Hesse, Georg Martius