Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming execution » programming evacuation, programming evolution, programming education
java programming » c programming
execution based » execution system
parallel java » parallel data, parallel scara, parallel a
based https » based http
programming execution » programming evacuation, programming evolution, programming education
java programming » c programming
execution based » execution system
parallel java » parallel data, parallel scara, parallel a
based https » based http
1
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... in Grid Environments -- Explicit Control of Service Execution to Support QoS-Based Grid Scheduling...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... in Distributed Systems -- An Agent Based Architecture for DAG Scheduling -- Grid Programming Environments...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... for Cluster System -- Localization Techniques for Cluster-Based Data Grid -- GridFTP and Parallel TCP Support...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...Distributed and Parallel Embedded Systems (DIPES 2010) -- Preface -- Opening and Keynote -- Safety...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Programming and Execution Environment for Parallel and Distributed Many-Core Architectures -- Scalable...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Approach -- Performance Tools for Parallel Programming -- High-Performance Parallel I/O -- Hybrid MPI...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... -- Parallel Real-time Garbage Collection -- Region-based Memory Management: An Evaluation of its Support...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting -- Race Conditions in Message...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... of Prolog Based Static Analyses -- Verification of Java Bytecode Using Analysis and Transformation of Logic...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...Keynote 2 -- Modeling the Internet -- Transformation-Based Parallelization of Request-Processing...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“...Script -- Model-Based Implementation of Parallel Real-Time Systems -- A Grey-Box Approach for Automated GUI-Model...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“... High-Level Programming for Systems with Many Cores -- Inductive Prover Based on Equality Saturation...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Formal Notation -- Improved Memory-Access Analysis for x86 Executables -- Analyses and Transformations...”View full text
Electronic
eBook