2145 search results - page 21 / 429 » Lax Logical Relations |
MICRO
2010
IEEE
13 years 5 months ago
2010
IEEE
To extend the exponential performance scaling of future chip multiprocessors, improving energy efficiency has become a first-class priority. Single-chip heterogeneous computing ha...
SUM
2010
Springer
13 years 5 months ago
2010
Springer
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
TASE
2008
IEEE
14 years 2 months ago
2008
IEEE
TBILLC
2007
Springer
14 years 1 months ago
2007
Springer