1
Publicado em 2010
Sumário: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
por Fischer, Robert., Fischer, Robert.
Publicado em 2015
Assuntos: ...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2010
Sumário: ... of Parallel Applications on Large-Scale Systems -- Performance Debugging of Parallel Compression on Multicore...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2005
Sumário: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2005
Sumário: ... in Heterogeneous Data Federations -- On Optimising Data Access Via Materialised Methods in Object-Oriented Systems...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2015
Sumário: ... for Timed Process Algebra -- A Proof-based Method for Modeling Timed Systems -- Asymptotic Speedups...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2005
Sumário: ... System -- Growing Functional Modules, a Prospective Paradigm for Epigenetic Artificial Intelligence...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2006
Sumário: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2007
Sumário: ... Graphic Reference Implementation for Embedded System -- Scheduling and Non Functional Properties -- A QoS...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2006
Sumário: ... Memory -- Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems -- Hybrid Functional...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2014
Sumário: ... Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation -- Steering Active...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2006
Sumário: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2010
Sumário: ... Method Using Sensor Data for Symbiotic Healthcare Support System -- 3D Collaboration Environment Based...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2010
Sumário: ... or Class Size#x003F; -- An Empirical Study of #x201C;Removed#x201D; Classes in Java Open-Source Systems...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2014
Sumário: ... Classifiers -- A Face Recognition System Based on Back Propagation Neural Network using Haar Wavelet Transform...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
Publicado em 2008
Sumário: ... Software Systems -- Formal Methods and Model Checking -- Synthesis of Connectors from Scenario-Based...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2008
Sumário: ... -- Evaluation of a Java Computer Algebra System -- A New Property of Hamming Graphs and Mesh of d-ary Trees...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2014
Sumário: ... Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods -- Geometry...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2005
Sumário: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Publicado em 2013
Sumário: ... Prediction -- Evolutionary Multi-Agent System in Hard Benchmark Continuous Optimisation -- Domestic Load...
Obter o texto integral
Recurso Eletrônico livro eletrônico