10622 search results - page 1919 / 2125 » Python Programming Language |
187
click to vote
TOPLAS
2008
15 years 6 months ago
2008
act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...
200
click to vote
LCTRTS
2010
Springer
15 years 4 months ago
2010
Springer
Chip multiprocessors (CMPs) are expected to be the building blocks for future computer systems. While architecting these emerging CMPs is a challenging problem on its own, program...
199
click to vote
IEEEPACT
2009
IEEE
15 years 4 months 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...
164
click to vote
CORR
2010
Springer
15 years 3 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 ...
148
click to vote
JCIT
2010
15 years 1 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...