Sciweavers

3305 search results - page 112 / 661
» Can we Rely on SQL
Sort
View
CSL
2006
Springer
14 years 1 months ago
Algorithms for Omega-Regular Games with Imperfect Information,
We study observation-based strategies for two-player turn-based games on graphs with omega-regular objectives. An observation-based strategy relies on imperfect information about t...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...
LISP
2008
96views more  LISP 2008»
13 years 10 months ago
Dynamic slicing of lazy functional programs based on redex trails
Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...
Claudio Ochoa, Josep Silva, Germán Vidal
SIGMOD
1997
ACM
160views Database» more  SIGMOD 1997»
14 years 2 months ago
Improved Query Performance with Variant Indexes
: The read-mostly environment of data warehousing makes it possible to use more complex indexes to speed up queries than in situations where concurrent updatesare present. The curr...
Patrick E. O'Neil, Dallan Quass
ICDE
2005
IEEE
124views Database» more  ICDE 2005»
14 years 11 months ago
Design, Implementation, and Evaluation of a Repairable Database Management System
Although conventional database management systems are designed to tolerate hardware and to a lesser extent even software errors, they cannot protect themselves against syntactical...
Tzi-cker Chiueh, Dhruv Pilania
ICDE
2000
IEEE
197views Database» more  ICDE 2000»
14 years 11 months ago
SQLServer for Windows CE - A Database Engine for Mobile and Embedded Platforms
This paper presents an overview of Microsoft SQLServer for Windows CE. This is a database engine designed for mobile and embedded applications. The focus of the presentation is on...
Praveen Seshadri, Phil Garrett