Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program execution » program evaluation, process execution, project execution
execution engine » execution time
parallel java » parallel data, parallel scara, parallel a
java program » java programs, a program, java programming
engine https » english https, aging https
program execution » program evaluation, process execution, project execution
execution engine » execution time
parallel java » parallel data, parallel scara, parallel a
java program » java programs, a program, java programming
engine https » english https, aging https
1
Published 2008
Table of Contents:
“... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...-Related Applications -- Symbolic Analysis for Increased Program Execution Performance....”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“...Desktop Grids -- Enabling Java applications for BOINC with DC-API -- Bridging the Data Management...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...Distributed and Parallel Embedded Systems (DIPES 2010) -- Preface -- Opening and Keynote -- Safety...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Using Wavelet Packet Parallel Architecture -- A Low–Level Communication Library for Java HPC -- Object...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”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 2008
Table of Contents:
“... Symbolic Execution -- Static Detection of Place Locality and Elimination of Runtime Checks -- Certified...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs -- Discovering Branching...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... or Class Size#x003F; -- An Empirical Study of #x201C;Removed#x201D; Classes in Java Open-Source Systems...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Programs -- Combining Static Analysis and Profiling for Estimating Execution Times -- On Improving...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”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