11909 search results - page 2149 / 2382 » The Scheme Programming Language |
150
click to vote
IEEEPACT
2009
IEEE
15 years 8 days ago
2009
IEEE
As the gap between processor and memory continues to grow, memory performance becomes a key performance bottleneck for many applications. Compilers therefore increasingly seek to m...
130
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
113
Voted
JCIT
2010
14 years 9 months ago
2010
This review paper presents an overview of the current state of the art in Problem Solving Environments (PSE). PSE provides integrated human-friendly innovative computational servi...
110
click to vote
TCC
2009
Springer
16 years 3 months ago
2009
Springer
The concept of witness-hiding suggested by Feige and Shamir is a natural relaxation of zero-knowledge. In this paper we identify languages and distributions for which many known co...
118
Voted
ACSC
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we shall introduce a new electronic payment concept based on the popular direct debit payment model, entitled periodical payments. The direct debit model currently i...