Sciweavers

1967 search results - page 115 / 394
» The Case for Determinism in Database Systems
Sort
View
CTRS
1987
15 years 10 months ago
Confluence of Conditional Rewrite Systems
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar
ICDE
2002
IEEE
189views Database» more  ICDE 2002»
16 years 7 months ago
A Fast Regular Expression Indexing Engine
In this paper, we describe the design, architecture, and the lessons learned from the implementation of a fast regular expression indexing engine FREE. FREE uses a prebuilt index ...
Junghoo Cho, Sridhar Rajagopalan
ICDE
2008
IEEE
131views Database» more  ICDE 2008»
16 years 27 days ago
PLUS: Synthesizing privacy, lineage, uncertainty and security
— Privacy, lineage, uncertainty, and security are important to many information integration efforts, and these “PLUS” properties interact in a number of complex ways. This pa...
Barbara T. Blaustein, Len Seligman, Michael Morse,...
FUN
2010
Springer
238views Algorithms» more  FUN 2010»
15 years 11 months ago
Mapping an Unfriendly Subway System
We consider a class of highly dynamic networks modelled on an urban subway system. We examine the problem of creating a map of such a subway in less than ideal conditions, where th...
Paola Flocchini, Matthew Kellett, Peter C. Mason, ...
IPPS
2005
IEEE
16 years 1 days ago
Code-Size Minimization in Multiprocessor Real-Time Systems
— Program code size is a critical factor in determining the manufacturing cost of many embedded systems, particularly those aimed at the extremely costconscious consumer market. ...
Sanjoy K. Baruah, Nathan Fisher