15777 search results - page 2825 / 3156 » The Reformulation-Optimization Software Engine |
192
click to vote
Publication
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
214
Voted
PEPM
2007
ACM
17 years 2 months ago
2007
ACM
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
242
click to vote
ICDE
2002
IEEE
16 years 5 months ago
2002
IEEE
Broad web search engines as well as many more specialized search tools rely on web crawlers to acquire large collections of pages for indexing and analysis. Such a web crawler may...
263
click to vote
ICDE
1999
IEEE
16 years 5 months ago
1999
IEEE
Modern digital libraries require user-friendly and yet responsive access to the rapidly growing, heterogeneous, and distributed collection of information sources. However, the inc...
139
Voted
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...