Sciweavers

598 search results - page 86 / 120
» Efficient and User-Friendly Verification
Sort
View
ICIP
2007
IEEE
14 years 5 months ago
Target Detection Through Robust Motion Segmentation and Tracking Restrictions in Aerial Flir Images
An efficient automatic moving target detection and tracking system in airborne forward looking infrared (FLIR) imagery is presented in this paper. Due to camera ego-motion, these ...
Carlos R. del-Blanco, Fernando Jaureguizar, Luis S...
ISESE
2003
IEEE
14 years 4 months ago
An Experimental Evaluation of Inspection and Testing for Detection of Design Faults
The two most common strategies for verification and validation, inspection and testing, are in a controlled experiment evaluated in terms of their fault detection capabilities. Th...
Carina Andersson, Thomas Thelin, Per Runeson, Nina...
ICCAD
2000
IEEE
88views Hardware» more  ICCAD 2000»
14 years 3 months ago
Hierarchical Interconnect Circuit Models
The increasing size of integrated systems combined with deep submicron physical modeling details creates an explosion in RLC interconnect modeling complexity of unmanageable propo...
Michael W. Beattie, Satrajit Gupta, Lawrence T. Pi...
NSDI
2008
14 years 1 months ago
Passport: Secure and Adoptable Source Authentication
We present the design and evaluation of Passport, a system that allows source addresses to be validated within the network. Passport uses efficient, symmetric-key cryptography to ...
Xin Liu, Ang Li, Xiaowei Yang, David Wetherall
PTS
2008
165views Hardware» more  PTS 2008»
14 years 5 days ago
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
Farn Wang, Geng-Dian Huang