300 search results - page 9 / 60 » Compiling Erlang to Scheme |
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper explains how efficient support for semiregular distributions can be incorporated in a uniform compilation framework for hybrid applications. The key focus of this work ...
MTDT
2006
IEEE
15 years 5 months ago
2006
IEEE
We present a ROM compiler programmable from via 1 to via n – 2, where n is the number of metal layers. The layer on which the code via is landed can be selected by the user. Wit...
CASCON
2004
15 years 1 months ago
2004
We report on initial experiments in tree locking schemes for compiled database applications. Such applications have a repository style of architecture in which a collection of sof...
ICS
1995
Tsinghua U.
15 years 3 months ago
1995
Tsinghua U.
In this paper, we present a GSA-based technique that performs more e cient and more precise symbolic analysis of predicated assignments, recurrences and index arrays. The e ciency...
108
click to vote
EUROCRYPT
2007
Springer
15 years 3 months ago
2007
Springer
In a recent paper Mohassel and Franklin study the efficiency of secure two-party computation in the presence of malicious behavior. Their aim is to make classical solutions to this...