32032 search results - page 84 / 6407 » Verified programming in Guru |
89
Voted
PLDI
2010
ACM
15 years 4 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
83
Voted
CATS
2006
15 years 2 months ago
2006
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...
86
Voted
FLAIRS
2004
15 years 2 months ago
2004
The integration of methods of Constraint Programming and Multi-Agent-Systems is discussed in this paper. We describe different agent topologies for Constraint Satisfaction Problem...
115
Voted
AIR
2004
15 years 19 days ago
2004
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
88
Voted
CN
1999
15 years 13 days ago
1999
Secure coprocessors enable secure distributed applications by providing safe havens where an application program can Z .execute and accumulate state , free of observation and inte...