1090 search results - page 14 / 218 » Resource-Bounded Partial Evaluation |
102
Voted
WFLP
2009
Springer
15 years 4 months ago
2009
Springer
A logic program strongly terminates if it terminates for any selection rule. Clearly, considering a particular selection rule—like Prolog’s leftmost selection rule—allows one...
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
JCP
2007
14 years 9 months ago
2007
— In this paper, we study the dynamic version of the distributed all-pairs shortest paths problem. Most of the solutions given in the literature for this problem, either (i) work...
71
Voted
DASFAA
2009
IEEE
15 years 4 months ago
2009
IEEE
Current streaming applications have stringent requirements on query response time and memory consumption because of the large (possibly unbounded) size of data they handle. Further...
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
The streaming evaluation is a popular way of evaluating queries on XML documents. Besides its many advantages, it is also the only option for a number of important XML application...