Search Results - program meetings program https array https

1

Where Humans Meet Machines Innovative Solutions for Knotty Natural-Language Problems /

Published 2013

Table of Contents: “... and Prosody -- A Case Study in Romanian -- MAP: An Abstraction-Based Metaphor Analysis Program for Overcoming...”
View full text

Electronic eBook

2

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
View full text

Electronic eBook

3

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Published 2005

Table of Contents: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
View full text

Electronic eBook

4

Using the C++ Standard Template Libraries

by Horton, Ivor., Horton, Ivor.
Published 2015

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

5

An Introduction to HTML and JavaScript for Scientists and Engineers /

by Brooks, David R., Brooks, David R.
Published 2007

Table of Contents: “... of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions....”
View full text

Electronic eBook

6

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Published 2005

Table of Contents: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
View full text

Electronic eBook

7

Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers /

Published 2007

Table of Contents: “... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”
View full text

Electronic eBook

8

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Published 2012

Table of Contents: “... Alternative to Meet the Models@Runtime Requirements -- Automated and Transparent Model Fragmentation...”
View full text

Electronic eBook

9

Pro DNS and BIND 10

by Aitchison, Ron., Aitchison, Ron.
Published 2011

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

10

Pro DNS and BIND

by Aitchison, Ron., Aitchison, Ron.
Published 2005

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

11

Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings /

Published 2006

Table of Contents: “... Meets Self-stabilization -- On the Cost of Uniform Protocols Whose Memory Consumption Is Adaptive...”
View full text

Electronic eBook

12

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /

Published 2015

Table of Contents: “... of the Vertex Cover Problem and 3-Satisfiability Problem in ECP systems -- Membrane Computing Meets Temperature...”
View full text

Electronic eBook

13

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
View full text

Electronic eBook

14

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Published 2005

Table of Contents: “... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...”
View full text

Electronic eBook

15

Teaching Science and Investigating Environmental Issues with Geospatial Technology Designing Effective Professional Development for Teachers /

Published 2014

Table of Contents: “... the Geologic History of Eastern Montana Using Geospatial Technologies -- The GIT Ahead Project: Meeting...”
View full text

Electronic eBook

16

Quantitative Traits Breeding for Multifunctional Grasslands and Turf

Published 2014

Table of Contents: “... of the cultivar Arvella; Franz Xaver Schubiger, B. Boller -- 35. High density array for SNP genotyping and mapping...”
View full text

Electronic eBook

17

Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Logic Programming -- A Method for Characterizing Tractable Subsets of Qualitative Fuzzy Temporal...”
View full text

Electronic eBook

18

Combinatorial Image Analysis 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004, Proceedings /

Published 2005

Table of Contents: “... -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from...”
View full text

Electronic eBook

19

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I...

Published 2010

Table of Contents: “... Antenna Array System -- Automatic Parameter Tuning with Metaheuristics of the AODV Routing Protocol...”
View full text

Electronic eBook

20

Selected Contributions in Data Analysis and Classification

Published 2007

Table of Contents: “... Linear Regression and the Calibration Problem for Micro-Array Analysis -- Sanskrit Manuscript Comparison...”
View full text

Electronic eBook

Narrow Search