1054 search results - page 108 / 211 » From a Verified Kernel towards Verified Systems |
142
click to vote
ISI
2007
Springer
16 years 14 days ago
2007
Springer
: We view the task of sensemaking in intelligence as that of abducing a story whose plot explains the current data and makes verifiable predictions about the future and the past. W...
203
click to vote
AHS
2006
IEEE
16 years 11 days ago
2006
IEEE
This paper presents an efficient hardware architecture for real-time implementation of adaptive deblocking filter algorithm used in H.264 video coding standard. This hardware is d...
126
click to vote
FM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
165
click to vote
SAS
2005
Springer
15 years 11 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
145
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
Field-based coordination is a very promising approach for a wide range of application scenarios in modern dynamic networks. To implement such an approach, one can rely on distribu...