1
Published 2015
Table of Contents: ... -- Automatic On-line Detection of MPI Application Structure with Event Flow Graphs -- Online Automated...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Graph Isomorphism using Parameterized Matching -- Suffix Array of Alignment: A Practical Index...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Approximate ?-Cover of a String -- Sparse Directed Acyclic Word Graphs -- On-Line Repetition Detection -- User...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Arrays -- Decidable Signal Processing Dataflow Graphs: Synchronous and Cyclo-Static Dataflow Graphs...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... of Two Wide-band Sources with Four-element Planar Cross Array Based on Three Algorithms -- Fast...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...
View full text
Electronic eBook
7
Table of Contents: ... Analysis -- Data-Flow Graph Model -- Wordlength Optimization -- Architectural Optimization -- Simulink...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... to Provability Logic -- Characterising Probabilistic Processes Logically -- fCube: An Efficient Prover...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... Distribution: An Overview of Explicit Parallel Programming Languages -- A Fast Parallel Graph Partitioner...
View full text
Electronic eBook
10
by Jordan, Gregory., Jordan, Gregory.
Published 2014
Subjects: ...Computer Appl. in Administrative Data Processing. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... When Mining Large Data Bases -- Improved Graph-Based Metrics for Clustering High-Dimensional Datasets...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Fast Search and Its Construction Algorithm Using Optimal Working Space -- Succinct Suffix Arrays Based...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Array -- Efficiently Scaling Up Video Annotation with Crowdsourced Marketplaces -- Robust and Fast...
View full text
Electronic eBook
15
Table of Contents: ...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...
View full text
Electronic eBook
19
Published 2015
Table of Contents: .... Quadratic Residue Cayley Graphs on Composite Modulus -- Chapter 20. A dynamic programming algorithm...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... of Conversational Services through Graph Planning Encoding -- Performance Prediction of Service-Oriented Systems...
View full text
Electronic eBook