Sökresultat - programs evaluation program https array https

1

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

Publicerad 2008

Innehållsförteckning: “... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...”
Hämta fulltext

Elektronisk E-bok

2

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

Publicerad 2006

Innehållsförteckning: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
Hämta fulltext

Elektronisk E-bok

3

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

Publicerad 2015

Innehållsförteckning: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Hämta fulltext

Elektronisk E-bok

4

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

Publicerad 2008

Innehållsförteckning: “... -- Performance Evaluation of a Multi-zone Application in Different OpenMP Approaches -- Transactional Memory...”
Hämta fulltext

Elektronisk E-bok

5

The Square Kilometre Array: An Engineering Perspective

Publicerad 2005

Innehållsförteckning: “...The Square Kilometre Array: An International Engineering Perspective -- The Allen Telescope Array...”
Hämta fulltext

Elektronisk E-bok

6

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

Publicerad 2007

Innehållsförteckning: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Hämta fulltext

Elektronisk E-bok

7

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

Publicerad 2014

Innehållsförteckning: “... Aspects and Management -- 3.3 Fruit Fly Detection Programs: The Potentials and Limitations of Trap Array...”
Hämta fulltext

Elektronisk E-bok

8

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

Publicerad 2015

Innehållsförteckning: “... -- Sequential generation of structured arrays and its deductive verification -- Checking UML and OCL Model...”
Hämta fulltext

Elektronisk E-bok

9

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

Publicerad 2006

Innehållsförteckning: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Hämta fulltext

Elektronisk E-bok

10

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

Publicerad 2005

Innehållsförteckning: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Hämta fulltext

Elektronisk E-bok

11

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

Publicerad 2008

Innehållsförteckning: “... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”
Hämta fulltext

Elektronisk E-bok

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 /

Publicerad 2006

Innehållsförteckning: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Hämta fulltext

Elektronisk E-bok

13

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

Publicerad 2012

Innehållsförteckning: “... for Rapid Workflow -- Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time...”
Hämta fulltext

Elektronisk E-bok

14

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

Publicerad 2015

Innehållsförteckning: “... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Hämta fulltext

Elektronisk E-bok

16

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

Publicerad 2010

Innehållsförteckning: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Hämta fulltext

Elektronisk E-bok

17

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

Publicerad 2013

Innehållsförteckning: “... -- TATL: Implementation of ATL Tableau-Based Decision Procedure -- A Terminating Evaluation-Driven Variant...”
Hämta fulltext

Elektronisk E-bok

18

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Publicerad 2013

Innehållsförteckning: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
Hämta fulltext

Elektronisk E-bok

19

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...”
Hämta fulltext

Elektronisk E-bok

20

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Publicerad 2010

Innehållsförteckning: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen