2035 search results - page 30 / 407 » On the complexity of stratified logics |
CORR
2010
Springer
15 years 5 months ago
2010
Springer
157
click to vote
CSL
2007
Springer
16 years 27 days ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
142
Voted
ISCA
1997
IEEE
15 years 11 months ago
1997
IEEE
The performance tradeoff between hardware complexity and clock speed is studied. First, a generic superscalar pipeline is defined. Then the specific areas of register renaming, ...