Search Results - detection ((computation programming) or (computing programming)) semantics arrays a*

1

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

2

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
View full text

Electronic eBook

3

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary...

Published 2010

Table of Contents: “... -- PSO Advances and Application to Inverse Problems -- Adaptive and Accelerated Exploration Particle...”
View full text

Electronic eBook

4

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

Published 2010

Table of Contents: “... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...”
View full text

Electronic eBook

5

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Published 2005

Table of Contents: “... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...”
View full text

Electronic eBook

6

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Published 2005

Table of Contents: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
View full text

Electronic eBook

7

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
View full text

Electronic eBook

8

Computational Intelligence, Cyber Security and Computational Models Proceedings of ICC3, 2013 /

Published 2014

Table of Contents: “... -- The Future of Access Control: Attributes, Automation and Adaptation -- Optimal Control for an MX/G/1/N + 1...”
View full text

Electronic eBook

9

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

Published 2007

Table of Contents: “... Architectures with a Hybrid Parallel Programming Model -- High Performance FFT on SGI Altix 3700 -- Security...”
View full text

Electronic eBook

10

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”
View full text

Electronic eBook

11

Computer Vision -- ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II /

Published 2013

Table of Contents: “... -- Digitization of Deformed Documents Using a High-Speed Multi-camera Array -- A Phase-Based Approach for Caption...”
View full text

Electronic eBook

12

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Published 2005

Table of Contents: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
View full text

Electronic eBook

13

Computer Vision -- ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV /

Published 2010

Table of Contents: “... -- Correlation-Based Intrinsic Image Extraction from a Single Image -- ADICT: Accurate Direct and Inverse Color...”
View full text

Electronic eBook

14

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

Published 2015

Table of Contents: “... -- Automatic On-line Detection of MPI Application Structure with Event Flow Graphs -- Online Automated...”
View full text

Electronic eBook

15

Emerging Technologies for Information Systems, Computing, and Management

Published 2013

Table of Contents: “... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...”
View full text

Electronic eBook

16

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Published 2006

Table of Contents: “... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”
View full text

Electronic eBook

17

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

Published 2014

Table of Contents: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
View full text

Electronic eBook

18

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

Published 2012

Table of Contents: “... Model of Computation -- Assume-Guarantee Scenarios: Semantics and Synthesis -- An Exploratory Study...”
View full text

Electronic eBook

19

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference...

Published 2014

Table of Contents: “... -- On the Correctness of a Branch Displacement Algorithm -- Analyzing the Next Generation Airborne Collision Avoidance...”
View full text

Electronic eBook

20

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

Published 2010

Table of Contents: “... Conceptual Schema Validation -- A Model-Driven Heuristic Approach for Detecting Multidimensional Facts...”
View full text

Electronic eBook

Narrow Search