7167 search results - page 1048 / 1434 » Answer Set Programming |
112
Voted
DOCENG
2007
ACM
15 years 7 months ago
2007
ACM
We present a set of XML language extensions that bring notions from functional programming to web authors, extending the power of declarative modelling for the web. Our previous w...
102
Voted
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Bottom-up evaluation is a central part of query evaluation / program execution in deductive databases. It is used after a source code optimization like magic sets or SLDm...
128
click to vote
DSD
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we present a novel method for merging sets of computational patterns into a reconfigurable cell respecting design constraints and optimizing specific design aspects...
118
Voted
HASE
2007
IEEE
15 years 7 months ago
2007
IEEE
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...
118
Voted
HOTOS
2007
IEEE
15 years 7 months ago
2007
IEEE
Given that the majority of future processors will contain an abundance of execution cores, redundant execution can offer a promising method for increasing the availability and res...