Sciweavers

1660 search results - page 5 / 332
» A Behavior Model for Next Generation Test Systems
Sort
View
141
Voted
TVLSI
2008
123views more  TVLSI 2008»
15 years 6 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...
150
Voted
HYBRID
2007
Springer
16 years 16 days 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...
195
Voted
ICAC
2006
IEEE
16 years 12 days 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
197
Voted
ICEIS
2008
IEEE
16 years 24 days 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
156
Voted
AIIA
2007
Springer
16 years 17 days 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