300 search results - page 9 / 60 » Compiling Erlang to Scheme |
IPPS
1999
IEEE
15 years 1 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 3 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...
73
Voted
CASCON
2004
14 years 11 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 1 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...
94
Voted
EUROCRYPT
2007
Springer
15 years 1 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...