Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming session » programming series, programming service, programs session
session based » decision based, vision based, fusion based
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming session » programming series, programming service, programs session
session based » decision based, vision based, fusion based
1
Publié 2008
Table des matières:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Accéder au texte intégral
Électronique
eBook
2
Publié 2010
Table des matières:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Accéder au texte intégral
Électronique
eBook
3
Publié 2010
Table des matières:
“... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...”Accéder au texte intégral
Électronique
eBook
4
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publié 2013
Table des matières:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”Accéder au texte intégral
Électronique
eBook
5
Publié 2007
Table des matières:
“... Session 3 -- Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity -- A Tool...”Accéder au texte intégral
Électronique
eBook
6
Publié 2008
Table des matières:
“... -- Constraint-Based Approach for Analysis of Hybrid Systems -- Session 5: Tools – Dynamic Verification...”Accéder au texte intégral
Électronique
eBook
7
Publié 2010
Table des matières:
“...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”Accéder au texte intégral
Électronique
eBook
8
Publié 2005
Table des matières:
“... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...”Accéder au texte intégral
Électronique
eBook
9
Publié 2006
Table des matières:
“... for Classes and Extensible Functions -- Keynote -- The Closing of the Frontier -- Tools -- Augmenting...”Accéder au texte intégral
Électronique
eBook
10
Table des matières:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
11
Publié 2007
Table des matières:
“... -- Session V: Tool Environment -- CADP 2006: A Toolbox for the Construction and Analysis of Distributed...”Accéder au texte intégral
Électronique
eBook
12
Publié 2010
Table des matières:
“... Measurement for Reactor Protection System Software Implemented in Function Block Diagram -- Session 6...”Accéder au texte intégral
Électronique
eBook
13
Publié 2005
Table des matières:
“... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”Accéder au texte intégral
Électronique
eBook
14
Publié 2005
Table des matières:
“... Retrieval Using Belief Functions -- A Fast Full Search Algorithm for Variable Block-Based Motion Estimation...”Accéder au texte intégral
Électronique
eBook
15
Publié 2014
Table des matières:
“... Programming in Tracking Control of the Wheeled Mobile Robot -- Fuzzy Sensor-Based Navigation with Neural...”Accéder au texte intégral
Électronique
eBook
16
Publié 2006
Table des matières:
“... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...”Accéder au texte intégral
Électronique
eBook
17
Publié 2006
Table des matières:
“... and Non-functional Requirements -- SOCK: A Calculus for Service Oriented Computing -- A Priori Conformance...”Accéder au texte intégral
Électronique
eBook
18
Publié 2005
Table des matières:
“... for MPI Programs -- Ensemble-2: Dynamic Composition of MPMD Programs -- New User-Guided and ckpt-Based...”Accéder au texte intégral
Électronique
eBook
19
Publié 2008
Table des matières:
“... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”Accéder au texte intégral
Électronique
eBook
20
Publié 2010
Table des matières:
“... Analysis and Controller Synthesis for Real-Time Systems -- rCOS: Theory and Tool for Component-Based Model...”Accéder au texte intégral
Électronique
eBook