2035 search results - page 30 / 407 » On the complexity of stratified logics |
37
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
88
Voted
AI
2010
Springer
14 years 11 months ago
2010
Springer
71
Voted
IJCV
2011
14 years 4 months ago
2011
86
Voted
CSL
2007
Springer
15 years 6 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 4 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, ...