Sökresultat - program execution programs https array https

1

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Publicerad 2013

Innehållsförteckning: “... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”
Hämta fulltext

Elektronisk E-bok

2

Multimedia Introduction to Programming Using Java

av Gries, David., Gries, David., Gries, Paul.
Publicerad 2005

Innehållsförteckning: “...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
Hämta fulltext

Elektronisk E-bok

3

Web Programming with PHP and MySQL A Practical Guide /

av Bramer, Max., Bramer, Max.
Publicerad 2015

Innehållsförteckning: “...Introduction -- PHP Fundamentals -- The PHP Language: Types of Statement -- More About Arrays...”
Hämta fulltext

Elektronisk E-bok

4

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

5

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: “... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”
Hämta fulltext

Elektronisk E-bok

6

A Beginner's Guide to Scala, Object Orientation and Functional Programming

av Hunt, John., Hunt, John.
Publicerad 2014

Innehållsförteckning: “... -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions...”
Hämta fulltext

Elektronisk E-bok

7

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

8

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Publicerad 2006

Innehållsförteckning: “... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”
Hämta fulltext

Elektronisk E-bok

9

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Publicerad 2005

Innehållsförteckning: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
Hämta fulltext

Elektronisk E-bok

10

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming...”
Hämta fulltext

Elektronisk E-bok

11

Beginning C From Novice to Professional /

av Horton, Ivor., Horton, Ivor.
Publicerad 2007

Innehållsförteckning: “...Programming in C -- First Steps in Programming -- Making Decisions -- Loops -- Arrays...”
Hämta fulltext

Elektronisk E-bok

12

Using the C++ Standard Template Libraries

av Horton, Ivor., Horton, Ivor.
Publicerad 2015

Ämnen: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hämta fulltext

Elektronisk E-bok

13

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

14

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

15

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

16

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...”
Hämta fulltext

Elektronisk E-bok

17

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

Publicerad 2010

Innehållsförteckning: “... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”
Hämta fulltext

Elektronisk E-bok

18

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Hämta fulltext

Elektronisk E-bok

19

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

20

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

Publicerad 2007

Innehållsförteckning: “...-Dependence Analysis and Program Transformation for Symbolic Execution -- JPF–SE: A Symbolic Execution...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen