4693 search results - page 642 / 939 » Verifying Hybrid Systems |
181
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
A primary goal in the design of wireless sensor networks is lifetime maximization, constrained by the energy capacity of batteries. One well known method to reduce energy consumpt...
157
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
188
Voted
DAWAK
2006
Springer
15 years 10 months ago
2006
Springer
In the paper, a new evolutionary algorithm (EA) for mixed tree learning is proposed. In non-terminal nodes of a mixed decision tree different types of tests can be placed, ranging ...
197
click to vote
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...
188
click to vote
3DIM
2001
IEEE
15 years 10 months ago
2001
IEEE
We present a complete data acquisition and processing chain for the reliable inspection of industrial parts considering anisotropic noise. Data acquisition is performed with a str...