Risultati della ricerca - program execution programs https array https*

1

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

Pubblicazione 2013

Sommario: “... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”
Testo

Elettronico eBook

2

Multimedia Introduction to Programming Using Java

di Gries, David., Gries, David., Gries, Paul.
Pubblicazione 2005

Sommario: “...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
Testo

Elettronico eBook

3

Web Programming with PHP and MySQL A Practical Guide /

di Bramer, Max., Bramer, Max.
Pubblicazione 2015

Sommario: “...Introduction -- PHP Fundamentals -- The PHP Language: Types of Statement -- More About Arrays...”
Testo

Elettronico eBook

4

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

Pubblicazione 2015

Sommario: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Testo

Elettronico eBook

5

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

Pubblicazione 2008

Sommario: “... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”
Testo

Elettronico eBook

6

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

di Hunt, John., Hunt, John.
Pubblicazione 2014

Sommario: “... -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions...”
Testo

Elettronico eBook

7

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

Pubblicazione 2007

Sommario: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Testo

Elettronico eBook

8

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

Pubblicazione 2006

Sommario: “... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”
Testo

Elettronico eBook

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 /

Pubblicazione 2005

Sommario: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
Testo

Elettronico eBook

10

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

Pubblicazione 2008

Sommario: “... in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming...”
Testo

Elettronico eBook

11

Beginning C From Novice to Professional /

di Horton, Ivor., Horton, Ivor.
Pubblicazione 2007

Sommario: “...Programming in C -- First Steps in Programming -- Making Decisions -- Loops -- Arrays...”
Testo

Elettronico eBook

12

Using the C++ Standard Template Libraries

di Horton, Ivor., Horton, Ivor.
Pubblicazione 2015

Soggetti: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Testo

Elettronico eBook

13

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

Pubblicazione 2006

Sommario: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Testo

Elettronico eBook

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 /

Pubblicazione 2006

Sommario: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Testo

Elettronico eBook

15

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

Pubblicazione 2013

Sommario: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
Testo

Elettronico eBook

16

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

Pubblicazione 2010

Sommario: “... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...”
Testo

Elettronico eBook

17

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

Pubblicazione 2010

Sommario: “... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”
Testo

Elettronico eBook

18

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

Pubblicazione 2007

Sommario: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Testo

Elettronico eBook

19

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

Pubblicazione 2015

Sommario: “... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...”
Testo

Elettronico eBook

20

A Programmer's Introduction to C# 2.0

di Gunnerson, Eric., Gunnerson, Eric., Wienholt, Nick.
Pubblicazione 2005

Sommario: “... -- System.Array and the Collection Classes -- Threading and Asynchronous Operations -- Execution-Time Code...”
Testo

Elettronico eBook

Restringi la ricerca