Bilaketaren emaitzak - program practice process proceeding 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 /

Argitaratua 2008

Aurkibidea: “... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”
Testu osoa

Baliabide elektronikoa eBook

2

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

Argitaratua 2010

Aurkibidea: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Testu osoa

Baliabide elektronikoa eBook

3

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

Argitaratua 2014

Aurkibidea: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
Testu osoa

Baliabide elektronikoa eBook

4

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

Argitaratua 2008

Aurkibidea: “... and Bloat Free GP -- Practical Model of Genetic Programming’s Performance on Rational Symbolic Regression...”
Testu osoa

Baliabide elektronikoa eBook

5

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

Argitaratua 2010

Aurkibidea: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Testu osoa

Baliabide elektronikoa eBook

6

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

Argitaratua 2015

Aurkibidea: “... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”
Testu osoa

Baliabide elektronikoa eBook

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 /

Argitaratua 2010

Aurkibidea: “... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...”
Testu osoa

Baliabide elektronikoa eBook

8

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

Argitaratua 2013

Aurkibidea: “... Graph Isomorphism using Parameterized Matching -- Suffix Array of Alignment: A Practical Index...”
Testu osoa

Baliabide elektronikoa eBook

9

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

Argitaratua 2014

Aurkibidea: “... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...”
Testu osoa

Baliabide elektronikoa eBook

10

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 /

Argitaratua 2014

Aurkibidea: “...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”
Testu osoa

Baliabide elektronikoa eBook

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...

Argitaratua 2008

Aurkibidea: “... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”
Testu osoa

Baliabide elektronikoa eBook

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...

Argitaratua 2015

Aurkibidea: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
Testu osoa

Baliabide elektronikoa eBook

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...

Argitaratua 2014

Aurkibidea: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Testu osoa

Baliabide elektronikoa eBook

14

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

Argitaratua 2014

Aurkibidea: “... Developments, Challenges and Future Prospects -- Development of Computer Aided Process Planning System...”
Testu osoa

Baliabide elektronikoa eBook

15

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...

Argitaratua 2007

Aurkibidea: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Testu osoa

Baliabide elektronikoa eBook

16

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

Argitaratua 2014

Aurkibidea: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Testu osoa

Baliabide elektronikoa eBook

17

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

Argitaratua 2005

Aurkibidea: “...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”
Testu osoa

Baliabide elektronikoa eBook

18

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

Argitaratua 2010

Aurkibidea: “... for Tera-Scale Multi-core Microprocessors -- Process Variability and Degradation: New Frontier...”
Testu osoa

Baliabide elektronikoa eBook

19

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

Argitaratua 2012

Aurkibidea: “... with OCL -- Multi-perspectives on Feature Models -- Generating Better Partial Covering Arrays by Modeling...”
Testu osoa

Baliabide elektronikoa eBook

20

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

Argitaratua 2005

Aurkibidea: “... -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from...”
Testu osoa

Baliabide elektronikoa eBook

Emaitzak murriztu