1
Published 2008
Table of Contents: ... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... of Mathematics Teachers of the GIFT Program Using Success Case Methodology -- Cultivating an Interface Through...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...
View full text
Electronic eBook
7
by Graba, Jan., Graba, Jan.
Published 2007
Table of Contents: ...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...
View full text
Electronic eBook
9
Table of Contents: ... Operator Interfaces and Filtering -- Improving VEE Pro Program Productivity....
View full text
Electronic eBook
10
Table of Contents: ... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... -- The Potential of Logic Programming as a Computational Tool to Model Morality....
View full text
Electronic eBook
12
Published 2014
Table of Contents: ....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...
View full text
Electronic eBook
14
Table of Contents: ...Preface -- Introduction -- The Practice-oriented Research Program in CSCW -- The View from...
View full text
Electronic eBook
15
Published 2014
Subjects: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Exhibition to Knowledge Construction -- Taking Advantage of the Web in the Portuguese Class: An Experience...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Interactions in a Tangible Programming Space -- The Usability of Digital Ink Technologies for Children...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Differential Evolution -- Comparison between Genetic Algorithm and Genetic Programming Performance...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ... Experiences of Visual and Textual Programming -- Enabling end users to create, annotate and share personal...
View full text
Electronic eBook