1
Đượ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
2
Đượ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
3
Đượ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
4
Mục lục: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
lấy văn bản
Điện tử eBook
5
Được phát hành 2012
Mục lục: ... -- RT-OSGi: Integrating the OSGi Framework with the Real-time Specifications for Java -- JavaES, a...
lấy văn bản
Điện tử eBook
6
Đượ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
7
Đượ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
8
Được phát hành 2013
Mục lục: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
lấy văn bản
Điện tử eBook
9
Được phát hành 2013
Mục lục: ... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...
lấy văn bản
Điện tử eBook
10
Đượ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
11
Đượ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
12
Được phát hành 2010
Mục lục: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
lấy văn bản
Điện tử eBook
13
Được phát hành 2014
Mục lục: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
lấy văn bản
Điện tử eBook
14
Được phát hành 2006
Mục lục: ... -- An Integrated Software Development Environment for Web Applications -- Parallel and Distributed Computing...
lấy văn bản
Điện tử eBook
15
Được phát hành 2005
Mục lục: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
lấy văn bản
Điện tử eBook
16
Được phát hành 2005
Mục lục: ... for Performance Evaluation of Parallel and Distributed Systems -- Integrating Distributed Composite Objects...
lấy văn bản
Điện tử eBook
17
Được phát hành 2007
Mục lục: ...Keynotes -- Software Is the Answer But What Is the Question? -- Integrating VLIW Processors with a...
lấy văn bản
Điện tử eBook
18
Được phát hành 2006
Mục lục: ... Processors -- SAD Prefetching for MPEG4 Using Flux Caches -- Effects of Program Compression -- Integrated...
lấy văn bản
Điện tử eBook
19
Được phát hành 2007
Mục lục: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
lấy văn bản
Điện tử eBook
20
Được phát hành 2008
Mục lục: ... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...
lấy văn bản
Điện tử eBook