Sciweavers

835 search results - page 59 / 167
» Structural Recursion as a Query Language
Sort
View
PODS
2005
ACM
136views Database» more  PODS 2005»
14 years 9 months ago
Context-sensitive program analysis as database queries
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...
Monica S. Lam, John Whaley, V. Benjamin Livshits, ...
LCTRTS
1999
Springer
14 years 1 months ago
Live Memory Analysis for Garbage Collection in Embedded Systems
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...
Patrik Persson
PLDI
2004
ACM
14 years 2 months ago
Parametric regular path queries
Regular path queries are a way of declaratively expressing queries on graphs as regular-expression-like patterns that are matched against paths in the graph. There are two kinds o...
Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D....
SIGMOD
2003
ACM
146views Database» more  SIGMOD 2003»
14 years 9 months ago
The Piazza peer data management project
A major problem in today's information-driven world is that sharing heterogeneous, semantically rich data is incredibly difficult. Piazza is a peer data management system tha...
Igor Tatarinov, Zachary G. Ives, Jayant Madhavan, ...
XIMEP
2006
ACM
188views Database» more  XIMEP 2006»
14 years 2 months ago
A Fully Pipelined XQuery Processor
We present a high-performance, pull-based streaming processor for XQuery, called XQPull, that can handle many essential features of the language, including general predicates, rec...
Leonidas Fegaras, Ranjan K. Dash, YingHui Wang