2362 search results - page 105 / 473 » Programming in Standard ML |
144
Voted
WEBDB
2010
Springer
15 years 8 months ago
2010
Springer
The MapReduce distributed programming framework is very popular, but currently lacks the optimization techniques that have been standard with relational database systems for many ...
141
Voted
LOPSTR
1995
Springer
15 years 7 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
189
Voted
LCTRTS
2001
Springer
15 years 8 months ago
2001
Springer
Phase-decoupled methods for code generation are the state of the art in compilers for standard processors but generally produce code of poor quality for irregular target architect...
262
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
136
Voted
STOC
2007
ACM
16 years 4 months ago
2007
ACM
We study linear programming relaxations of Vertex Cover and Max Cut arising from repeated applications of the "lift-and-project" method of Lovasz and Schrijver starting ...