Sciweavers

589 search results - page 64 / 118
» A Language for Multi-dimensional Updates
Sort
View
CD
2004
Springer
14 years 2 months ago
Keeping Control of Reusable Components
Development and deployment via components offers the possibility of prolific software reuse. However, to achieve this potential in a component-rich environment, it is necessary to...
Susan Eisenbach, Dilek Kayhan, Chris Sadler
NLDB
2004
Springer
14 years 2 months ago
On Embedding Machine-Processable Semantics into Documents
—Most Web and legacy paper-based documents are available in human comprehensible text form, not readily accessible to or understood by computer programs. Here, we investigate an ...
Krishnaprasad Thirunarayan
ICALP
2010
Springer
14 years 1 months ago
Streaming Algorithms for Independent Sets
We find “combinatorially optimal” (guaranteed by the degree-sequence alone) independent sets for graphs and hypergraps in linear space in the semi-streaming model. We also pr...
Bjarni V. Halldórsson, Magnús M. Hal...
ECOOP
2000
Springer
14 years 1 months ago
Ionic Types
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
Simon A. Dobson, Brian Matthews
POPL
1999
ACM
14 years 1 months ago
Constraint Systems for Useless Variable Elimination
Superfluous variables are often produced as the byproducts of program transformations, compilation, and poorly written code. These variables are irrelevant to the computational o...
Mitchell Wand, Igor Siveroni