10718 search results - page 1990 / 2144 » On the Circuit Implementation Problem |
136
click to vote
TPHOL
2009
IEEE
15 years 11 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...
156
click to vote
TPHOL
2009
IEEE
15 years 11 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,...
153
click to vote
WEBDB
2009
Springer
15 years 11 months ago
2009
Springer
Linguists and geographers are more and more interested in route direction documents because they contain interesting motion descriptions and language patterns. A large number of s...
119
click to vote
BTW
2009
Springer
15 years 11 months ago
2009
Springer
: Users of front office applications such as call center or customer support applications make millions and millions of decisions each day without analytical support. For example, ...
142
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...