1320 search results - page 213 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
101
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
As logic programming applications grow in size, Prolog systems need to efficiently access larger and larger data sets and the need for any- and multiargument indexing becomes more...
101
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
se a new abstraction for pointer analysis that represents reads and writes to memory instead of traditional points-to relations. Compared to points-to graphs, our Assign-Fetch Gra...
226
click to vote
GLVLSI
2011
IEEE
14 years 6 months ago
2011
IEEE
Existing optimization algorithms for the multiplierless realization of multiple constant multiplications (MCM) typically target the minimization of the number of addition and subt...
117
click to vote
ICLP
1997
Springer
15 years 6 months ago
1997
Springer
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
109
click to vote
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Object persistence architectures support transparent access to persistent objects. For efficiency, many of these architectures support queries that can prefetch associated objects ...