Recherches alternatives:
interactive computing » interactive computer
proceedings program » proceedings from
program java » program jarak, program a, program jom
1
Publié 2010
Table des matières: ...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...
Accéder au texte intégral
Électronique eBook
2
Sujets: ...Computer programming....
Accéder au texte intégral
Électronique eBook
3
Publié 2012
Table des matières: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
Accéder au texte intégral
Électronique eBook
4
Publié 2006
Table des matières: ...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...
Accéder au texte intégral
Électronique eBook
5
Publié 2008
Table des matières: ... Immutability -- Computing Stack Maps with Interfaces -- How Do Java Programs Use Inheritance? An Empirical...
Accéder au texte intégral
Électronique eBook
6
Publié 2006
Table des matières: ...Human Computer Interaction -- A Rule-Based Publish-Subscribe Message Routing System for Ubiquitous...
Accéder au texte intégral
Électronique eBook
7
Publié 2008
Table des matières: ... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...
Accéder au texte intégral
Électronique eBook
8
Publié 2005
Table des matières: ... Interpretation -- The Java Context Awareness Framework (JCAF) – A Service Infrastructure and Programming...
Accéder au texte intégral
Électronique eBook
9
Publié 2006
Table des matières: ...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...
Accéder au texte intégral
Électronique eBook
10
Publié 2005
Table des matières: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
Accéder au texte intégral
Électronique eBook
11
Publié 2006
Table des matières: ...Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines...
Accéder au texte intégral
Électronique eBook
12
Publié 2007
Table des matières: ... Techniques -- A Hierarchical Programming Model for Large Parallel Interactive Applications -- Design of a...
Accéder au texte intégral
Électronique eBook
13
Publié 2007
Table des matières: ... for Emergency Decision-Making Support -- Interactive Fuzzy Goal Programming Approach for Optimization...
Accéder au texte intégral
Électronique eBook
14
Publié 2010
Table des matières: ... Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2...
Accéder au texte intégral
Électronique eBook
15
Publié 2008
Table des matières: ... the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient...
Accéder au texte intégral
Électronique eBook
16
Publié 2010
Table des matières: ...Keynote 1 -- A Unified Approach to Modeling and Programming -- Session 1a: Genericity...
Accéder au texte intégral
Électronique eBook
17
Publié 2008
Table des matières: ... Models and a Transformation -- Components, Protocols and Interactions -- Facilitating Gossip Programming...
Accéder au texte intégral
Électronique eBook
18
Publié 2010
Table des matières: ... Testing for Java Card Applets -- Combining SPIN with ns-2 for Protocol Optimization -- Automatic...
Accéder au texte intégral
Électronique eBook
19
Publié 2010
Table des matières: ... for Boxes and Traits in a Java-Like Setting -- JErlang: Erlang with Joins -- A Hybrid Visual Dataflow...
Accéder au texte intégral
Électronique eBook
20
Publié 2006
Table des matières: ... Approach -- Performance Tools for Parallel Programming -- High-Performance Parallel I/O -- Hybrid MPI...
Accéder au texte intégral
Électronique eBook