1
Được phát hành 2010
Mục lục: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
lấy văn bản
Điện tử eBook
2
Được phát hành 2006
Mục lục: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
lấy văn bản
Điện tử eBook
3
Được phát hành 2013
Mục lục: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
lấy văn bản
Điện tử eBook
4
Được phát hành 2010
Mục lục: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
lấy văn bản
Điện tử eBook
5
Được phát hành 2013
Mục lục: ... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...
lấy văn bản
Điện tử eBook
6
Được phát hành 2005
Mục lục: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
lấy văn bản
Điện tử eBook
7
Được phát hành 2010
Mục lục: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
lấy văn bản
Điện tử eBook
8
Được phát hành 2005
Mục lục: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
lấy văn bản
Điện tử eBook
9
Được phát hành 2013
Mục lục: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
lấy văn bản
Điện tử eBook
10
Được phát hành 2005
Mục lục: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
lấy văn bản
Điện tử eBook
11
Được phát hành 2007
Mục lục: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
lấy văn bản
Điện tử eBook
12
Được phát hành 2006
Mục lục: ... Memory -- Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems -- Hybrid Functional...
lấy văn bản
Điện tử eBook
13
Được phát hành 2008
Mục lục: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
lấy văn bản
Điện tử eBook
14
Được phát hành 2013
Mục lục: ... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....
lấy văn bản
Điện tử eBook
15
Được phát hành 2014
Mục lục: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
lấy văn bản
Điện tử eBook
16
Được phát hành 2015
Mục lục: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
lấy văn bản
Điện tử eBook
17
Được phát hành 2013
Mục lục: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
lấy văn bản
Điện tử eBook
18
Được phát hành 2010
Mục lục: ... -- Supporting Molecular Modeling Workflows within a Grid Services Cloud -- Distributed and Collaborative...
lấy văn bản
Điện tử eBook
19
Được phát hành 2008
Mục lục: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
lấy văn bản
Điện tử eBook
20
Được phát hành 2014
Mục lục: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
lấy văn bản
Điện tử eBook