A survey of adaptive optimization in virtual machines
Virtual machines face significant performance challenges beyond those confronted by
traditional static optimizers. First, portable program representations and dynamic language …
traditional static optimizers. First, portable program representations and dynamic language …
The BUGS project: Evolution, critique and future directions
D Lunn, D Spiegelhalter, A Thomas… - Statistics in …, 2009 - Wiley Online Library
BUGS is a software package for Bayesian inference using Gibbs sampling. The software has
been instrumental in raising awareness of Bayesian modelling among both academic and …
been instrumental in raising awareness of Bayesian modelling among both academic and …
Dynamically typed languages
L Tratt - Advances in Computers, 2009 - Elsevier
Dynamically typed languages such as Python and Ruby have experienced a rapid grown in
popularity in recent times. However, there is much confusion as to what makes these …
popularity in recent times. However, there is much confusion as to what makes these …
[图书][B] Types and programming languages
BC Pierce - 2002 - books.google.com
A comprehensive introduction to type systems and programming languages. A type system
is a syntactic method for automatically checking the absence of certain erroneous behaviors …
is a syntactic method for automatically checking the absence of certain erroneous behaviors …
[图书][B] Modern compiler implementation in ML
AW Appel - 1998 - books.google.com
This new, expanded textbook describes all phases of a modern compiler: lexical analysis,
parsing, abstract syntax, semantic actions, intermediate representations, instruction …
parsing, abstract syntax, semantic actions, intermediate representations, instruction …
[图书][B] The garbage collection handbook: the art of automatic memory management
Published in 1996, Richard Jones's Garbage Collection was a milestone in the area of
automatic memory management. Its widely acclaimed successor, The Garbage Collection …
automatic memory management. Its widely acclaimed successor, The Garbage Collection …
A pragmatic implementation of non-blocking linked-lists
TL Harris - International Symposium on Distributed Computing, 2001 - Springer
We present a new non-blocking implementation of concurrent linked-lists supporting
linearizable insertion and deletion operations. The new algorithm provides substantial …
linearizable insertion and deletion operations. The new algorithm provides substantial …
[图书][B] Data structures and algorithms in Java
The design and analysis of efficient data structures has long been recognized as a key
component of the Computer Science curriculum. Goodrich, Tomassia and Goldwasser's …
component of the Computer Science curriculum. Goodrich, Tomassia and Goldwasser's …
[图书][B] Heuristic search: theory and applications
S Edelkamp, S Schrödl - 2011 - books.google.com
Search has been vital to artificial intelligence from the very beginning as a core technique in
problem solving. The authors present a thorough overview of heuristic search with a balance …
problem solving. The authors present a thorough overview of heuristic search with a balance …
The Jalapeno virtual machine
B Alpern, CR Attanasio, JJ Barton… - IBM Systems …, 2000 - ieeexplore.ieee.org
Jalapeño is a virtual machine for Java™ servers written in the Java language. To be able to
address the requirements of servers (performance and scalability in particular), Jalapeño …
address the requirements of servers (performance and scalability in particular), Jalapeño …