Resultados da pesquisa - program practice processing proceedings array https

1

A Practical Programming Model for the Multi-Core Era International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings /

Publicado em 2008

Sumário: “... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”
Obter o texto integral

Recurso Electrónico livro electrónico

2

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Publicado em 2010

Sumário: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Obter o texto integral

Recurso Electrónico livro electrónico

3

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Publicado em 2014

Sumário: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
Obter o texto integral

Recurso Electrónico livro electrónico

4

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Publicado em 2008

Sumário: “... and Bloat Free GP -- Practical Model of Genetic Programming’s Performance on Rational Symbolic Regression...”
Obter o texto integral

Recurso Electrónico livro electrónico

5

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: “... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”
Obter o texto integral

Recurso Electrónico livro electrónico

6

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Publicado em 2010

Sumário: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Obter o texto integral

Recurso Electrónico livro electrónico

7

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings /

Publicado em 2010

Sumário: “... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...”
Obter o texto integral

Recurso Electrónico livro electrónico

8

String Processing and Information Retrieval 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings /

Publicado em 2013

Sumário: “... Graph Isomorphism using Parameterized Matching -- Suffix Array of Alignment: A Practical Index...”
Obter o texto integral

Recurso Electrónico livro electrónico

9

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /

Publicado em 2014

Sumário: “...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”
Obter o texto integral

Recurso Electrónico livro electrónico

10

Modeling, Simulation and Optimization of Complex Processes - HPSC 2012 Proceedings of the Fifth...

Publicado em 2014

Sumário: “... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...”
Obter o texto integral

Recurso Electrónico livro electrónico

11

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008...

Publicado em 2008

Sumário: “... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”
Obter o texto integral

Recurso Electrónico livro electrónico

12

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...

Publicado em 2015

Sumário: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
Obter o texto integral

Recurso Electrónico livro electrónico

13

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...

Publicado em 2014

Sumário: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Obter o texto integral

Recurso Electrónico livro electrónico

14

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007...

Publicado em 2007

Sumário: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Obter o texto integral

Recurso Electrónico livro electrónico

15

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

Publicado em 2014

Sumário: “... Developments, Challenges and Future Prospects -- Development of Computer Aided Process Planning System...”
Obter o texto integral

Recurso Electrónico livro electrónico

16

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Publicado em 2014

Sumário: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Obter o texto integral

Recurso Electrónico livro electrónico

17

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Publicado em 2005

Sumário: “...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”
Obter o texto integral

Recurso Electrónico livro electrónico

18

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Publicado em 2010

Sumário: “... for Tera-Scale Multi-core Microprocessors -- Process Variability and Degradation: New Frontier...”
Obter o texto integral

Recurso Electrónico livro electrónico

19

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

Publicado em 2005

Sumário: “... -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from...”
Obter o texto integral

Recurso Electrónico livro electrónico

20

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /

Publicado em 2010

Sumário: “... with Layered Queueing Networks -- Error Handling: From Theory to Practice -- Modeling and Reasoning about...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa