Sciweavers

300 search results - page 50 / 60
» Compiling Erlang to Scheme
Sort
View
LREC
2008
90views Education» more  LREC 2008»
14 years 11 months ago
Navigating through Dense Annotation Spaces
Pattern matching, or querying, over annotations is a general purpose paradigm for inspecting, navigating, mining, and transforming annotation repositories--the common representati...
Branimir Boguraev, Mary S. Neff
PDPTA
2003
14 years 10 months ago
HPJava: Programming Support for High-Performance Grid-Enabled Applications
The paper begins by considering what a Grid Computing Environment might be, why it is demanded, and how the authors’ HPspmd programming fits into this picture. We then review o...
Han-Ku Lee, Bryan Carpenter, Geoffrey Fox, Sang Bo...
DEDUCTIVE
1997
119views Database» more  DEDUCTIVE 1997»
14 years 10 months ago
Inheritance with Overriding Without Non-monotonic Reasoning in Datalog++
We present a query language, called the Datalog++ , for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirabl...
Hasan M. Jamil
CRYPTO
2010
Springer
201views Cryptology» more  CRYPTO 2010»
14 years 10 months ago
Protecting Cryptographic Keys against Continual Leakage
Side-channel attacks have often proven to have a devastating effect on the security of cryptographic schemes. In this paper, we address the problem of storing cryptographic keys a...
Ali Juma, Yevgeniy Vahlis
DSD
2010
IEEE
153views Hardware» more  DSD 2010»
14 years 9 months ago
Simulation of High-Performance Memory Allocators
—Current general-purpose memory allocators do not provide sufficient speed or flexibility for modern highperformance applications. To optimize metrics like performance, memory us...
José Luis Risco-Martín, José ...