Sciweavers

379 search results - page 30 / 76
» The AGEDIS Tools for Model Based Testing
Sort
View
140
Voted
IPPS
2007
IEEE
15 years 10 months ago
A Framework for Modeling Operating System Mechanisms in the Simulation of Network Protocols for Real-Time Distributed Systems
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...
Paolo Pagano, Prashant Batra, Giuseppe Lipari
WSCG
2001
167views more  WSCG 2001»
15 years 5 months ago
Component-Based Architectures for Computer Vision Systems
Research performed in the field of computer vision has steadily ignored recent advances in programming tools and techniques, relying on well-established traditional methods, such ...
A. Economopoulos, Drakoulis Martakos
106
Voted
DAC
2006
ACM
16 years 4 months ago
Timing-based delay test for screening small delay defects
The delay fault test pattern set generated by timing unaware commercial ATPG tools mostly affects very short paths, thereby increasing the escape chance of smaller delay defects. ...
Nisar Ahmed, Mohammad Tehranipoor, Vinay Jayaram
115
Voted
DKE
2010
112views more  DKE 2010»
15 years 3 months ago
An integer programming based approach for verification and diagnosis of workflows
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
Rik Eshuis, Akhil Kumar
160
Voted
ISQED
2002
IEEE
203views Hardware» more  ISQED 2002»
15 years 8 months ago
Automatic Test Program Generation from RT-Level Microprocessor Descriptions
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda...