1
Published 2006
Table of Contents: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
6
by Fischer, Robert., Fischer, Robert.
Published 2015
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Associations of Urban Criminal Activities Using Hierarchical Crime Hot Spots -- VCCM Mining: Mining Virtual...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...
View full text
Electronic eBook
10
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Compatibility -- An Improved Text Retrieval Algorithm Based on Suffix Tree Similarity Measure -- Land-Use Change...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Process -- Rotation Invariant Texture Classification Using Gabor Wavelets -- Harmful Contents...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... Linkages with Circular Translation -- Function Synthesis of the Planar 5R Mechanism Using Least Squares...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ... Function through Reaching and Grasping -- Joint Protection: Enabling Change in Musculoskeletal Conditions...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...
View full text
Electronic eBook