898 search results - page 2 / 180 » A Linear Tabling Mechanism |
STACS
2009
Springer
14 years 6 days ago
2009
Springer
The Prefix table of a string reports for each position the maximal length of its prefixes starting here. The Prefix table and its dual Suffix table are basic tools used in the d...
DSN
2004
IEEE
13 years 9 months ago
2004
IEEE
This paper presents a scalable mechanism, Fast Routing Table Recovery (FRTR), for detecting and correcting route inconsistencies between neighboring BGP routers. The large size of...
ACMMSP
2004
ACM
13 years 11 months ago
2004
ACM
As superscalar processors become increasingly wide, it is inevitable that the large set of instructions to be fetched every cycle will span multiple noncontiguous basic blocks. Th...
EUROPAR
2004
Springer
13 years 10 months ago
2004
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...
TABLETOP
2006
IEEE
13 years 11 months ago
2006
IEEE
In this work, we create social visualizations of aural group conversation. These visualizations are tailored to a table setting. Examples of such settings are a family sitting abo...