1
Published 2006
Table of Contents: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Versus Suffix Arrays for Locating Patterns in Primary Memory -- Efficient Lazy Algorithms for Minimal...
View full text
Electronic eBook
4
Table of Contents: ...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...
View full text
Electronic eBook
5
Table of Contents: ...Overview -- Introduction to Problem Solving -- Introduction to Programming Languages...
View full text
Electronic eBook
6
by Brooks, David R., Brooks, David R.
Published 2011
Table of Contents: ... -- Fundamentals of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions -- Creating...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...
View full text
Electronic eBook
8
by Lee, James., Lee, James.
Published 2010
Table of Contents: ... -- Subroutines/Functions -- Regular Expressions -- Files and Data -- String Processing -- Interfacing...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
View full text
Electronic eBook
12
by Spear, Chris., Spear, Chris.
Published 2008
Table of Contents: ... Randomization Problems -- 6.13 Iterative and Array Constraints -- 6.14 Atomic Stimulus Generation vs. Scenario...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Reconfiguration Algorithm for Field Programmable Analog Scalable Device Array (FPADA) with Fixed Topology...
View full text
Electronic eBook