Sciweavers

3547 search results - page 530 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
ISCIS
2009
Springer
16 years 1 months ago
Using a SAT solver to generate checking sequences
—Methods for software testing based on Finite State Machines (FSMs) have been researched since the early 60’s. Many of these methods are about generating a checking sequence fr...
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Y...
IOLTS
2008
IEEE
117views Hardware» more  IOLTS 2008»
16 years 1 months ago
Verification and Analysis of Self-Checking Properties through ATPG
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
Marc Hunger, Sybille Hellebrand
MMSP
2008
IEEE
117views Multimedia» more  MMSP 2008»
16 years 1 months ago
Vibrotactile jacket for perception enhancement
—By nature, human beings perceive their environment mostly using sight and audition. Vibrotactile feedback has proven satisfying results in the domains of simple multimodal inter...
Sylvain Cardin, Daniel Thalmann
DSN
2007
IEEE
16 years 28 days ago
Assessing Robustness of Web-Services Infrastructures
Web-services are supported by a complex software infrastructure that must provide a robust service to the client applications. This practical experience report presents a practica...
Marco Vieira, Nuno Laranjeiro, Henrique Madeira
ICNSC
2007
IEEE
16 years 27 days ago
Unstable Object Stabilization and Control Using a DD Robot Manipulator
— This paper addresses the issue of robotic manipulation of multi-DOF inverted pendulums. A control scheme is designed using Lyaponov stability theory for both the robot position...
Zhao-Hui Jiang, Kouya Kamise