1
Published 2006
Table of Contents: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...
View full text
Electronic eBook
4
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... Algebraic Decomposition -- The Formalization of Syntax-Based Mathematical Algorithms Using Quotation...
View full text
Electronic eBook
7
Published 2012
Subjects: ...Project Management. https://scigraph.springernature.com/ontologies/product-market-codes/515020...
View full text
Electronic eBook
8
... communication. In this paper, a parallel 3D reconstruction method based on multi-view video stream is proposed...
Article
9
Published 2006
Table of Contents: ...-Tolerant Parallel Applications with Dynamic Parallel Schedules: A Programmer’s Perspective -- Autonomic...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... for Ontology Based Design Project Assessment -- Organizing the World’s Machine Learning Information -- Tackling...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ...Graphs of Grammars – Derivations as Parallel Processes -- MTTool Software Tool and Low Complexity...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... automata -- Active Image Forgery Detection using Cellular Automata -- Content-based image retrieval...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... Macro Package Suitable for Drawing Fine -Pictures -- Matlab-Based Problem-Solving Environment...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... using belief Functions -- Video Key Frame Detection Based on SURF Algorithm -- Automatic Diagnosis...
View full text
Electronic eBook
16
Table of Contents: ... Metric-Driven Processes -- Roles in a Verification Project -- Overview of a Verification Project...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... -- On the Complexity of Measurement in Classical Physics -- Quantum Walk Based Search Algorithms -- Contributed...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Using Projected Powell-Sabin Splines -- Implicit Boundary Control of Vector Field Based Shape...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ... based BCI -- PROCESS: Projection-based Classification of Electroencephalograph Signals -- Feature...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... of the Projections of the 2-adic Golay Code of Length 24 to Z2e -- Computer Based Reconstruction of Binary Extremal...
View full text
Electronic eBook