612 search results - page 34 / 123 » Bounded model checking for knowledge and real time |
126
click to vote
PAMI
2010
14 years 11 months ago
2010
—We propose a combinatorial solution to determine the optimal elastic matching of a deformable template to an image. The central idea is to cast the optimal matching of each temp...
138
click to vote
RTCSA
1998
IEEE
15 years 4 months ago
1998
IEEE
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...
102
Voted
FTCS
1998
15 years 1 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
106
Voted
RAID
2004
Springer
15 years 5 months ago
2004
Springer
As the frequency of attacks faced by the average host connected to the Internet increases, reliance on manual intervention for response is decreasingly tenable. Operating system an...
90
Voted
RTAS
2008
IEEE
15 years 6 months ago
2008
IEEE
To achieve better throughput, many hard drive manufacturers use internal queues and scheduling to take advantage of vendor-specific characteristics and knowledge. While this tren...