1
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
2
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
3
Published 2008
Table of Contents: ... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
View full text
Electronic eBook
5
by Raynal, Michel., Raynal, Michel.
Published 2013
Table of Contents: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
View full text
Electronic eBook
6
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... in General-Purpose Computations on Current Graphics Processors -- Optimised Computational Functional Imaging...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Parallel Execution in Grid Environment -- Toward Dynamic Adoption for a User’s Situation Information in a...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
View full text
Electronic eBook
10
Table of Contents: ... NoCs -- Parallelizing Compiler for Single and Multicore Computing -- Power Optimization Techniques...
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 2014
Table of Contents: ... Process Mining to Resource-Oriented Systems -- User–Defined Rules Made Simple with Functional Programming...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ...-Means Method for Determining Motor’s Quality Types Based on Current Waveforms -- License Plate...
View full text
Electronic eBook