Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
methods programming » methods programmed, networks programming, meta programming
interface methods » internal methods, interval methods, interference methods
computing http » computing https, computing help, consulting http
methods programming » methods programmed, networks programming, meta programming
interface methods » internal methods, interval methods, interference methods
computing http » computing https, computing help, consulting http
1
Published 2008
Table of Contents:
“... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... -- Optimal Cue Combination for Saliency Computation: A Comparison with Human Vision -- The Underlying Formal...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“...Session 1. Invited Talks -- Aspects and Formal Methods -- Getting Formal Verification into Design...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... Programming Learning Support System Based on Reading Computer program -- The Display Medium, Academic Major...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“...Invited Papers -- Reasoning about Separation using Abstraction and Reification -- An Interface...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...Visions -- 1: Search Computing -- 2: Next Generation Web Search -- 3: Search for Knowledge...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Coordination and Computation as Architectural Dimensions -- The Bisimulation Proof Method: Enhancements...”View full text
Electronic
eBook
15
16
Published 2012
Table of Contents:
“... Based on the User Tendency in the Online Game Services -- Computer Education’s Teaching-Learning Methods...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Systems and Soft Computing -- Particle Swarm Optimization and Niche Technology -- Supervised and Semi...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... in Hematopoeitic Cells -- Membrane Computing with Genetic Algorithm for the Travelling Salesman Problem -- Solving...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... the Lattice Boltzmann Method and Analysis of OpenMP Scalability -- Parallel Computations of Unsteady Three...”View full text
Electronic
eBook
20
Table of Contents:
“... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
View full text
View full text
Electronic
eBook