8232 search results - page 1532 / 1647 » Dynamic Logic Programming |
107
Voted
WWW
2007
ACM
16 years 3 months ago
2007
ACM
We propose the study of visibly pushdown automata (Vpa) for processing XML documents. Vpas are pushdown automata where the input determines the stack operation, and XML documents ...
101
click to vote
HPCA
2006
IEEE
16 years 2 months ago
2006
IEEE
We propose dynamic scheduler designs to improve the scheduler scalability and reduce its complexity in the SMT processors. Our first design is an adaptation of the recently propos...
114
click to vote
OSDI
2004
ACM
16 years 2 months ago
2004
ACM
We present a new technique, failure-oblivious computing, that enables servers to execute through memory errors without memory corruption. Our safe compiler for C inserts checks th...
214
click to vote
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
A multi-tenant database system for Software as a Service (SaaS) should offer schemas that are flexible in that they can be extended for different versions of the application and d...
100
click to vote
SIGMOD
2003
ACM
16 years 2 months ago
2003
ACM
Webcams, microphones, pressure gauges and other sensors provide exciting new opportunities for querying and monitoring the physical world. In this paper we focus on querying wide ...