Sciweavers

1660 search results - page 5 / 332
» A Behavior Model for Next Generation Test Systems
Sort
View
TVLSI
2008
123views more  TVLSI 2008»
13 years 7 months ago
Automatic Constraint Based Test Generation for Behavioral HDL Models
The proposed work involves conversion of a given circuit model into a set of constraints and employing constraint solvers to generate tests for it. The method is demonstrated for ...
Siva Kumar Sastry Hari, Vishnu Vardhan Reddy Konda...
HYBRID
2007
Springer
14 years 1 months ago
Robust Test Generation and Coverage for Hybrid Systems
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
A. Agung Julius, Georgios E. Fainekos, Madhukar An...
ICAC
2006
IEEE
14 years 1 months ago
Using Autonomic Principles to Manage Converged Services in Next Generation Networks
Network resources will always be heterogeneous, and thus have different functionalities and programming models. This adversely affects interoperability. Seamless Mobility is one e...
John Strassner
ICEIS
2008
IEEE
14 years 1 months ago
Next-Generation Misuse and Anomaly Prevention System
Abstract. Network Intrusion Detection Systems (NIDS) aim at preventing network attacks and unauthorised remote use of computers. More accurately, depending on the kind of attack it...
Pablo Garcia Bringas, Yoseba K. Penya
AIIA
2007
Springer
14 years 1 months ago
A 3D Virtual Model of the Knee Driven by EMG Signals
A 3D virtual model of the human lower extremity has been developed for the purpose of examining how the neuromuscular system controls the muscles and generates the desired movement...
Massimo Sartori, Gaetano Chemello, Enrico Pagello