1
Publié 2007
Table des matières: ...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...
Accéder au texte intégral
Électronique eBook
2
Publié 2006
Table des matières: ... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...
Accéder au texte intégral
Électronique eBook
3
Table des matières: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
Accéder au texte intégral
Électronique eBook
4
par Bramer, Max., Bramer, Max.
Publié 2015
Table des matières: ...Introduction -- PHP Fundamentals -- The PHP Language: Types of Statement -- More About Arrays...
Accéder au texte intégral
Électronique eBook
5
Publié 2008
Table des matières: ... -- Performance Evaluation of a Multi-zone Application in Different OpenMP Approaches -- Transactional Memory...
Accéder au texte intégral
Électronique eBook
6
Publié 2008
Table des matières: ...-Specific Modelling Languages -- Data Flow Analysis of UML Action Semantics for Executable Models -- From...
Accéder au texte intégral
Électronique eBook
7
par Horton, Ivor., Horton, Ivor.
Publié 2007
Table des matières: ...Programming in C -- First Steps in Programming -- Making Decisions -- Loops -- Arrays...
Accéder au texte intégral
Électronique eBook
8
par Horton, Ivor., Horton, Ivor.
Publié 2015
Sujets: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Accéder au texte intégral
Électronique eBook
9
Publié 2005
Table des matières: ... Components -- Transactions -- A Trace Semantics for Long-Running Transactions -- Practical Application of CSP...
Accéder au texte intégral
Électronique eBook
10
Publié 2008
Table des matières: ... in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming...
Accéder au texte intégral
Électronique eBook
11
Publié 2010
Table des matières: ... Antenna Array System -- Automatic Parameter Tuning with Metaheuristics of the AODV Routing Protocol...
Accéder au texte intégral
Électronique eBook
12
Publié 2010
Table des matières: ... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...
Accéder au texte intégral
Électronique eBook
13
Publié 2006
Table des matières: ... Reconfigurable Array: Dataflow Execution with Software Compatibility -- High-Level Synthesis Using SPARK...
Accéder au texte intégral
Électronique eBook
14
Publié 2006
Table des matières: ... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...
Accéder au texte intégral
Électronique eBook
15
Publié 2006
Table des matières: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
Accéder au texte intégral
Électronique eBook
16
Publié 2008
Table des matières: ... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...
Accéder au texte intégral
Électronique eBook
17
Publié 2007
Table des matières: ... System for Parallel Execution of Fragmented Subroutines -- Application of Simulation Approaches...
Accéder au texte intégral
Électronique eBook
18
Publié 2006
Table des matières: ...Lazy and Speculative Execution in Computer Systems -- In Search of the Holy Grail: Looking...
Accéder au texte intégral
Électronique eBook
19
Publié 2015
Table des matières: ... Architectures -- MPI Thread-Level Checking for MPI+OpenMP Applications -- Event-Action Mappings for Parallel...
Accéder au texte intégral
Électronique eBook
20
Publié 2013
Table des matières: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
Accéder au texte intégral
Électronique eBook