1
Publié 2010
Table des matières: ... Resources -- Guarding a Walled Garden — Semantic Privacy Preferences for the Social Web -- Using Social...
Accéder au texte intégral
Électronique eBook
2
Publié 2005
Table des matières: ... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...
Accéder au texte intégral
Électronique eBook
3
Publié 2007
Table des matières: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Accéder au texte intégral
Électronique eBook
4
Publié 2008
Table des matières: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Accéder au texte intégral
Électronique eBook
5
Publié 2013
Table des matières: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Accéder au texte intégral
Électronique eBook
6
Sujets: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Accéder au texte intégral
Électronique eBook
7
Table des matières: ... Spaces or Linear Spaces -- Two-Dimensional Transformations -- Two-Dimensional Clipping -- Three...
Accéder au texte intégral
Électronique eBook
8
Table des matières: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
Accéder au texte intégral
Électronique eBook
9
Table des matières: ... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...
Accéder au texte intégral
Électronique eBook
10
Publié 2013
Table des matières: ... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....
Accéder au texte intégral
Électronique eBook
11
Publié 2014
Table des matières: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Accéder au texte intégral
Électronique eBook
12
Publié 2008
Table des matières: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
Accéder au texte intégral
Électronique eBook
13
Publié 2007
Table des matières: ... Applications -- Sequential and Parallel Resolution of the Two-Group Transient Neutron Diffusion Equation Using...
Accéder au texte intégral
Électronique eBook
14
Sujets: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Accéder au texte intégral
Électronique eBook
15
Table des matières: ... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...
Accéder au texte intégral
Électronique eBook
16
Publié 2010
Table des matières: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Accéder au texte intégral
Électronique eBook
17
Publié 2010
Table des matières: ... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...
Accéder au texte intégral
Électronique eBook
18
Publié 2010
Table des matières: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Accéder au texte intégral
Électronique eBook
19
Publié 2006
Table des matières: ...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...
Accéder au texte intégral
Électronique eBook
20
Publié 2008
Table des matières: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Accéder au texte intégral
Électronique eBook