12441 search results - page 2365 / 2489 » Frame Based Features |
111
click to vote
ISORC
2009
IEEE
15 years 7 months ago
2009
IEEE
Java is one of the most popular programming languages for the development of portable workstation and server applications available today. Because of its clean design and typesafe...
121
Voted
MICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
Recent micro-architectural research has proposed various schemes to enhance processors with additional tags to track various properties of a program. Such a technique, which is us...
104
click to vote
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
120
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
107
click to vote
ACG
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we present our ideas for an Arimaa-playing program (also called a bot) that uses plans and pattern matching to guide a highly selective search. We restrict move gener...