1
Published 2010
Table of Contents: ...Topic 9: Parallel and Distributed Programming -- Parallel and Distributed Programming...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Techniques -- A Hierarchical Programming Model for Large Parallel Interactive Applications -- Design of a...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Approach -- Performance Tools for Parallel Programming -- High-Performance Parallel I/O -- Hybrid MPI...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... Kernels on Grids -- Parallel Checkpointing on a Grid-Enabled Java Platform -- Fault Tolerance in the R-GMA...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... -- Interactive Linked Micromap Plots for the Display of Geographically Referenced Statistical Data -- Grand Tours...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... and HomePNA3.0 MAC -- Automatic Translation of a Process Level Petri-Net to a Ladder Diagram -- Software...
View full text
Electronic eBook
14
Table of Contents: ... Sequential Calculus -- Asynchronous Sequential Processes -- A Few Examples -- Semantics and Properties...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ...Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... and Ontological Representations: A Case Study in Java and OWL -- Extracting Semantic Constraint from Description...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...
View full text
Electronic eBook