1163 search results - page 158 / 233 » Case Studies of Model Checking for Embedded System Designs |
161
click to vote
FGR
2006
IEEE
15 years 8 months ago
2006
IEEE
A global approach to hand gesture vocabulary design is proposed which includes human as well as technical design factors. The human centered desires of multiple users are implicit...
156
click to vote
KDD
2004
ACM
16 years 4 months ago
2004
ACM
We present a case study about the application of the inductive database approach to the analysis of Web logs. We consider rich XML Web logs ? called conceptual logs ? that are gen...
122
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
This paper studies a general dynamic buffer management problem with one buffer inserted between two interacting components. The component to be controlled is assumed to have multi...
133
click to vote
WDAG
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
116
click to vote
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
We study the monitoring and fault-diagnosis problems for dense-time real-time systems, where observers (monitors and diagnosers) have access to digital rather than analog clocks. ...