38 search results - page 1 / 8 » Shrinking Reductions in SML.NET |
IFL
2004
Springer
13 years 10 months ago
2004
Springer
One performance-critical phase in the SML.NET compiler involves rewriting intermediate terms to monadic normal form and performing non-duplicating β-reductions. We present an impe...
IJIIP
2010
13 years 1 months ago
2010
SIGMOD
2009
ACM
14 years 4 months ago
2009
ACM
Keeping the test databases as small as possible leads to faster execution of tests and facilitates the task of completing the test cases and evaluating the actual outputs against ...
ACNS
2010
Springer
13 years 9 months ago
2010
Springer
To this day, realizations in the standard-model of (lossy) trapdoor functions from discrete-log-type assumptions require large public key sizes, e.g., about Θ(λ2 ) group elements...
SIGMOD
2002
ACM
14 years 4 months ago
2002
ACM
Dwarf is a highly compressed structure for computing, storing, and querying data cubes. Dwarf identifies prefix and suffix structural redundancies and factors them out by coalesci...