1
Published 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
View full text
Electronic eBook
5
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
6
Table of Contents: ... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
8
by Sharan, Kishori., Sharan, Kishori.
Published 2014
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ...-University Exchange and Cooperation on Doctoral Programs in Southeast Asia: Naoki Umemiya, Akiyoshi Yonezawa...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... on a Multi-core Cluster -- Generating Parallel Random Sequences via Parameterizing EICGs...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
View full text
Electronic eBook
17
Table of Contents: ... -- Threads, Processes, and Synchronization -- Files, Directories, and I/O -- XML Processing -- Windows Forms...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... for Intersection Graphs -- An O(logn)-Approximation Algorithm for the Disjoint Paths Problem in Eulerian Planar...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
View full text
Electronic eBook