3130 search results - page 377 / 626 » Design Correctness of Digital Systems |
166
click to vote
ICPPW
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
181
Voted
DEXAW
2005
IEEE
16 years 8 days ago
2005
IEEE
In the domain of bioinformatics, the role played in the biological process by proteins, that act as transmitters and receivers of information thus ruling the mechanisms that deter...
183
click to vote
AVBPA
2003
Springer
15 years 12 months ago
2003
Springer
Speaker identification is a computationally expensive task. In this work, we propose an iterative speaker pruning algorithm for speeding up the identification in the context of rea...
187
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
179
click to vote
EDOC
2000
IEEE
15 years 11 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...