439 search results - page 65 / 88 » Tabling for transaction logic |
POPL
2011
ACM
14 years 2 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
100
click to vote
ILP
2003
Springer
15 years 5 months ago
2003
Springer
In many data mining tools that support regression tasks, training data are stored in a single table containing both the target field (dependent variable) and the attributes (indepe...
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
Traditional bitmap indexes are utilized as a special type of primary or clustered indexes where the queries are answered by performing fast logical operations supported by hardwar...
105
click to vote
DAC
1994
ACM
15 years 3 months ago
1994
ACM
In this paper, we revisit the classical problem of functional decomposition [1, 2] that arises so often in logic synthesis. One basic problem that has remained largely unaddressed...
102
click to vote
P2P
2005
IEEE
15 years 5 months ago
2005
IEEE
A resource directory is a critical component of a Grid architecture. P2P computing paradigm could address some of the scalability issues that make distributed resource discovery s...