1
Published 2005
Table of Contents: ... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Options for Subscription Managers -- Supporting Program Indexing and Querying in Source Code Digital...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward...
View full text
Electronic eBook
5
Table of Contents: ...SAS/IML: A Brief Introduction -- IML Language Structure -- IML Programming Features -- Matrix...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... -- Regions of Interest in Trajectory Data Warehouse -- AFOPT-Tax: An Efficient Method for Mining Generalized...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... -- Application of Parallel Programming in Collaborative Design -- Collaborative Explorative Data Analysis Applied...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Capturing and Processing -- Local Adaptive Extraction of References -- Logic-Based Trajectory Evaluation...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Continuous Markov Decision Problems with Structured Reward -- Options in Readylog Reloaded – Generating...
View full text
Electronic eBook
10
Published 2012
Table of Contents: ... Bound Prices for Multi-asset Bermudan Options -- Insight of Direct Search Methods and Module-Integrated...
View full text
Electronic eBook
11
Table of Contents: ... -- Context Nodes and Attributes at Design Time -- Data Binding, Context Mapping and Interface Methods -- View...
View full text
Electronic eBook
12
Table of Contents: ... -- Context Nodes and Attributes at Design Time -- Data Binding, Context Mapping and Interface Methods -- View...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Modeling on the Architectural Design Process -- An OpenGL-based Interface to 3D PowerPoint-like...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Programming Classification Method -- Kimberlites Identification by Classification Methods -- A Fast Method...
View full text
Electronic eBook
15
by Spear, Chris., Spear, Chris.
Published 2008
Table of Contents: ...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... and Responsibilities -- Service and Information Security Improvement by Collaborative Business Process Management...
View full text
Electronic eBook