752 search results - page 51 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
103
click to vote
VLSID
2000
IEEE
15 years 6 months ago
2000
IEEE
The test signal method can be used to measure and model inductance parameters (self and mutual) of a very small interconnect especially in highdensity IC’s by using a test signa...
122
click to vote
AIR
2005
15 years 1 months ago
2005
Term-weighting schemes are vital to the performance of Information Retrieval models that use term frequency characteristics to determine the relevance of a document. The vector spa...
METRICS
2003
IEEE
15 years 7 months ago
2003
IEEE
When it is impractical to rigorously assess all parts of complex systems, test engineers use defect detectors to focus their limited resources. In this article, we define some pr...
116
click to vote
IMCSIT
2010
14 years 8 months ago
2010
In this paper the development of a prototypic mobile voice control for navigating autonomous robots within a multi robot system is described. As basis for the voice control a hidde...
130
click to vote
DAC
1996
ACM
15 years 6 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...