Arama Sonuçları - program evaluation programs https array https

1

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- Performance Evaluation of a Multi-zone Application in Different OpenMP Approaches -- Transactional Memory...”
Tam Metin Erişim

Elektronik Ekitap

5

The Square Kilometre Array: An Engineering Perspective

Baskı/Yayın Bilgisi 2005

İçindekiler: “...The Square Kilometre Array: An International Engineering Perspective -- The Allen Telescope Array...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Aspects and Management -- 3.3 Fruit Fly Detection Programs: The Potentials and Limitations of Trap Array...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- Sequential generation of structured arrays and its deductive verification -- Checking UML and OCL Model...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Tam Metin Erişim

Elektronik Ekitap

10

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”
Tam Metin Erişim

Elektronik Ekitap

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 /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2012

İçindekiler: “... for Rapid Workflow -- Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Tam Metin Erişim

Elektronik Ekitap

16

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Tam Metin Erişim

Elektronik Ekitap

17

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- TATL: Implementation of ATL Tableau-Based Decision Procedure -- A Terminating Evaluation-Driven Variant...”
Tam Metin Erişim

Elektronik Ekitap

18

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
Tam Metin Erişim

Elektronik Ekitap

19

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...”
Tam Metin Erişim

Elektronik Ekitap

20

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt