1
Publicado em 2010
Sumário: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2006
Sumário: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2010
Sumário: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2005
Sumário: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2014
Sumário: ... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2013
Sumário: ... for the Java Virtual Machine -- Averroes: Whole-Program Analysis without the Whole Program -- QUIC Graphs...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2005
Sumário: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2014
Sumário: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2008
Sumário: ...? -- Static Graphics -- Data Visualization Through Their Graph Representations -- Graph-theoretic Graphics...
Obter o texto integral
Recurso Electrónico livro electrónico