Resultados da busca - detection computer 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 /

Publicado em 2005

Sumário: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

2

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

Publicado em 2007

Sumário: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

3

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

Publicado em 2010

Sumário: “... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

4

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

Publicado em 2010

Sumário: “... -- PSO Advances and Application to Inverse Problems -- Adaptive and Accelerated Exploration Particle...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

5

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

Publicado em 2015

Sumário: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

6

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

Publicado em 2005

Sumário: “... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

7

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

Publicado em 2005

Sumário: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

8

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

Publicado em 2014

Sumário: “... -- The Future of Access Control: Attributes, Automation and Adaptation -- Optimal Control for an MX/G/1/N + 1...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

9

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

Publicado em 2007

Sumário: “... Architectures with a Hybrid Parallel Programming Model -- High Performance FFT on SGI Altix 3700 -- Security...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

10

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

Publicado em 2007

Sumário: “... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

11

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

Publicado em 2013

Sumário: “... -- Digitization of Deformed Documents Using a High-Speed Multi-camera Array -- A Phase-Based Approach for Caption...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

12

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

Publicado em 2005

Sumário: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

13

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

Publicado em 2010

Sumário: “... -- Correlation-Based Intrinsic Image Extraction from a Single Image -- ADICT: Accurate Direct and Inverse Color...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

14

Emerging Technologies for Information Systems, Computing, and Management

Publicado em 2013

Sumário: “... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

15

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

Publicado em 2006

Sumário: “... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

16

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

Publicado em 2015

Sumário: “... -- Automatic On-line Detection of MPI Application Structure with Event Flow Graphs -- Online Automated...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

17

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

Publicado em 2014

Sumário: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

18

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

Publicado em 2010

Sumário: “... Conceptual Schema Validation -- A Model-Driven Heuristic Approach for Detecting Multidimensional Facts...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

19

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

Publicado em 2012

Sumário: “... Model of Computation -- Assume-Guarantee Scenarios: Semantics and Synthesis -- An Exploratory Study...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

20

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

Publicado em 2014

Sumário: “... -- On the Correctness of a Branch Displacement Algorithm -- Analyzing the Next Generation Airborne Collision Avoidance...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Refinar a Busca