2035 search results - page 30 / 407 » On the complexity of stratified logics |
CORR
2010
Springer
14 years 8 months ago
2010
Springer
AI
2010
Springer
14 years 8 months ago
2010
Springer
IJCV
2011
14 years 1 months ago
2011
76
Voted
CSL
2007
Springer
15 years 4 months 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...
ISCA
1997
IEEE
15 years 2 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, ...