1
Published 2008
Table of Contents: ... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Intensive Software Tools -- A Multigrid Parallel Program for Protoplanetary Disc Simulation....
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration -- Data...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...Immune System Modelling -- A Petri Net Model of Granulomatous Inflammation -- Defining a Simulation...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... Software Transactions on the GPU -- Leveraging MPI-3 Shared-Memory Extensions for Efficient PGAS Runtime...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Simulation -- Rule Mining for Dynamic Databases -- Session I B: High Performance Computing -- APPLE: A Novel...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...
View full text
Electronic eBook
11
Published 2012
Table of Contents: ... Density EEG Sensor Arrays for Brain Source Localization -- A Novel Ontological Technique for Sentiment...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Dynamics Simulations on Multi-core Systems -- Parsing XML Using Parallel Traversal of Streaming Trees...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...-Action Modelling with CellML -- FERN – Stochastic Simulation and Evaluation of Reaction Networks...
View full text
Electronic eBook
14
Published 2015
Table of Contents: .... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...
View full text
Electronic eBook
15
by Spear, Chris., Spear, Chris.
Published 2008
Table of Contents: ... Components -- 1.10 Layered Testbench -- 1.11 Building a Layered Testbench -- 1.12 Simulation Environment...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ...) Integration Technology -- Mixed Signal Techniques -- Programming and Simulation Tools Managing Editor: Rainer...
View full text
Electronic eBook