903 search results - page 37 / 181 » Completeness Results for Memory Logics |
206
click to vote
ARC
2012
Springer
14 years 1 months ago
2012
Springer
As the size of FPGA devices grows following Moore’s law, it becomes possible to put a complete manycore system onto a single FPGA chip. The centralized memory hierarchy on typica...
187
click to vote
TPHOL
2009
IEEE
16 years 25 days 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,...
173
click to vote
JOLLI
2006
15 years 6 months ago
2006
Abstract. In this paper we study families of resource aware logics that explore resource restriction on rules; in particular, we study the use of controlled cut-rule and introduce ...
203
click to vote
TARK
2009
Springer
16 years 22 days ago
2009
Springer
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch st...
156
click to vote
ISMVL
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper considers quasi-reduced multi-valued decision diagrams with bits (QRMDD( )s) to represent twovalued logic functions. It shows relations between the numbers of nodes in ...