1342 search results - page 94 / 269 » MEMS Design And Verification |
177
click to vote
VLSID
2000
IEEE
15 years 10 months ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
166
click to vote
SPEECH
2008
15 years 6 months ago
2008
This paper describes a language/accent verification system for Portuguese, that explores different type of properties: acoustic, phonotactic and prosodic. The two-stage system is ...
168
click to vote
ENTCS
2008
15 years 6 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
216
click to vote
ANTSW
2010
Springer
15 years 4 months ago
2010
Springer
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
189
click to vote
JUCS
2010
15 years 1 months ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...