440 search results - page 43 / 88 » A challenge for atomicity verification |
124
click to vote
ICIAR
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Increasing risks of spoof attacks and other common problems of unimodal biometric systems such as intra-class variations, nonuniversality and noisy data necessitate the u...
CACM
2010
14 years 9 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
CIDR
2009
15 years 27 days ago
2009
Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperati...
195
click to vote
POPL
2009
ACM
16 years 13 days ago
2009
ACM
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...
145
click to vote
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...