1
Publicado em 2013
Sumário: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2010
Sumário: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2014
Sumário: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2008
Sumário: ...Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2014
Sumário: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2005
Sumário: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2006
Sumário: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2015
Sumário: ... Therapy The Past – the Present – the Future -- The Genesis of International Handbook of Occupational...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2012
Sumário: ... -- Parallel Real-time Garbage Collection -- Region-based Memory Management: An Evaluation of its Support...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2005
Sumário: ... Lightweight Dynamic Application Monitor for SMP Clusters -- gridlib — A Parallel, Object-oriented Framework...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2007
Sumário: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2010
Sumário: ... Approximation of Points by a Step Function -- Approximating Multilinear Monomial Coefficients and Maximum...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2006
Sumário: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
Obter o texto integral
Recurso Eletrônico livro eletrônico