1
Publicerad 2006
Innehållsförteckning: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2013
Innehållsförteckning: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2010
Innehållsförteckning: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2010
Innehållsförteckning: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2010
Innehållsförteckning: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Hämta fulltext
Elektronisk E-bok
6
Ämnen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2008
Innehållsförteckning: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2005
Innehållsförteckning: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2014
Innehållsförteckning: ... Random Bits -- Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2008
Innehållsförteckning: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Hämta fulltext
Elektronisk E-bok
11
Innehållsförteckning: ... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Technical Topics...
Hämta fulltext
Elektronisk E-bok
12
Innehållsförteckning: ... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Migrating Python...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2013
Innehållsförteckning: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Hämta fulltext
Elektronisk E-bok
14
Innehållsförteckning: ... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Migrating Python...
Hämta fulltext
Elektronisk E-bok
15
av Comninos, Peter., Comninos, Peter.
Publicerad 2006
Innehållsförteckning: ...-Dimensional Transformations -- Viewing and Projection Transformations -- 3D Rendering -- Physically Based...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2006
Innehållsförteckning: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Hämta fulltext
Elektronisk E-bok
17
av Fischer, Robert., Fischer, Robert.
Publicerad 2015
Ämnen: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2008
Innehållsförteckning: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2013
Innehållsförteckning: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2010
Innehållsförteckning: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Hämta fulltext
Elektronisk E-bok