Søgeresultater - programs evaluating program https array https

1

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...”
Få fuldtekst

Electronisk eBog

2

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Udgivet 2006

Indholdsfortegnelse: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
Få fuldtekst

Electronisk eBog

3

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

Udgivet 2015

Indholdsfortegnelse: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Få fuldtekst

Electronisk eBog

4

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

Udgivet 2008

Indholdsfortegnelse: “... -- Performance Evaluation of a Multi-zone Application in Different OpenMP Approaches -- Transactional Memory...”
Få fuldtekst

Electronisk eBog

5

The Square Kilometre Array: An Engineering Perspective

Udgivet 2005

Indholdsfortegnelse: “...The Square Kilometre Array: An International Engineering Perspective -- The Allen Telescope Array...”
Få fuldtekst

Electronisk eBog

6

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /

Udgivet 2007

Indholdsfortegnelse: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Få fuldtekst

Electronisk eBog

7

Trapping and the Detection, Control, and Regulation of Tephritid Fruit Flies Lures, Area-Wide Programs, and Trade Implications /

Udgivet 2014

Indholdsfortegnelse: “... Aspects and Management -- 3.3 Fruit Fly Detection Programs: The Potentials and Limitations of Trap Array...”
Få fuldtekst

Electronisk eBog

8

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... -- Sequential generation of structured arrays and its deductive verification -- Checking UML and OCL Model...”
Få fuldtekst

Electronisk eBog

9

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Udgivet 2006

Indholdsfortegnelse: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Få fuldtekst

Electronisk eBog

10

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

Udgivet 2005

Indholdsfortegnelse: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Få fuldtekst

Electronisk eBog

11

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”
Få fuldtekst

Electronisk eBog

12

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 /

Udgivet 2006

Indholdsfortegnelse: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Få fuldtekst

Electronisk eBog

13

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

Udgivet 2012

Indholdsfortegnelse: “... for Rapid Workflow -- Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time...”
Få fuldtekst

Electronisk eBog

14

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

Udgivet 2015

Indholdsfortegnelse: “... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...”
Få fuldtekst

Electronisk eBog

15

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

Udgivet 2010

Indholdsfortegnelse: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Få fuldtekst

Electronisk eBog

16

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

Udgivet 2010

Indholdsfortegnelse: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Få fuldtekst

Electronisk eBog

17

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... -- TATL: Implementation of ATL Tableau-Based Decision Procedure -- A Terminating Evaluation-Driven Variant...”
Få fuldtekst

Electronisk eBog