3931 search results - page 152 / 787 » Separation logic and abstraction |
159
click to vote
ENGL
2008
15 years 6 months ago
2008
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
156
click to vote
JAPLL
2007
15 years 6 months ago
2007
ecking, algebraic, abstract machines, etc.). THE JOURNAL The Journal of Applied Logic1 publishes papers in areas of logic which can be applied in other disciplines as well as appli...
164
click to vote
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a first step towards a security model that defines access control for logical document structures. el benefits from roles to abstract from users and from secur...
174
click to vote
JANCL
2007
15 years 6 months ago
2007
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
168
click to vote
ICS
2001
Tsinghua U.
15 years 11 months ago
2001
Tsinghua U.
A large logical register file is important to allow effective compiler transformations or to provide a windowed space of registers to allow fast function calls. Unfortunately, a l...