3736 search results - page 196 / 748 » Generative Programming |
122
click to vote
ACL
1996
15 years 4 months ago
1996
Charts constitute a natural uniform architecture for parsing and generation provided string position is replaced by a notion more appropriate to logical forms and that measures ar...
168
click to vote
PPOPP
2012
ACM
13 years 10 months ago
2012
ACM
Existing concurrency platforms for dynamic multithreading do not provide repeatable parallel random-number generators. This paper proposes that a mechanism called pedigrees be bui...
133
Voted
SIGMOD
2001
ACM
16 years 3 months ago
2001
ACM
We study the problem of generating e cient, equivalent rewritings using views to compute the answer to a query. We take the closed-world assumption, in which views are materialize...
124
click to vote
HYBRID
2010
Springer
15 years 10 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
150
click to vote
BMCBI
2004
15 years 3 months ago
2004
Background: The Distributed Annotation System (DAS) allows merging of DNA sequence annotations from multiple sources and provides a single annotation view. A straightforward way t...