Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
international simulation » international regulation, international regulations, international education
simulation program » education program
program program » programs program, programming program
program java » program jarak, program a, program jom
https » http
international simulation » international regulation, international regulations, international education
simulation program » education program
program program » programs program, programming program
program java » program jarak, program a, program jom
https » http
1
Publié 2012
Table des matières:
“... to Design, Simulate and Deploy Robotic Applications -- A Java vs. C++ Performance Evaluation: A 3D Modeling...”Accéder au texte intégral
Électronique
eBook
2
Publié 2008
Table des matières:
“... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”Accéder au texte intégral
Électronique
eBook
3
Publié 2006
Table des matières:
“... Analysis -- Regular Papers -- Infinite Qualitative Simulations by Means of Constraint Programming...”Accéder au texte intégral
Électronique
eBook
4
Publié 2006
Table des matières:
“... to Experiment with Model Transformation -- SiTra: Simple Transformations in Java -- Analyzing Dynamic Models...”Accéder au texte intégral
Électronique
eBook
5
Publié 2006
Table des matières:
“... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”Accéder au texte intégral
Électronique
eBook
6
Publié 2006
Table des matières:
“... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”Accéder au texte intégral
Électronique
eBook
7
Publié 2007
Table des matières:
“... Network on Chip -- System Modeling and Simulation -- Communication Architecture Simulation on the Virtual...”Accéder au texte intégral
Électronique
eBook
8
Publié 2005
Table des matières:
“... for Reconfigurable Packet Processing -- Processor Architectures, Design and Simulation -- Flux Caches: What...”Accéder au texte intégral
Électronique
eBook
9
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
10
Publié 2010
Table des matières:
“... -- Closing the Gap between Modelling and Java....”Accéder au texte intégral
Électronique
eBook
11
Publié 2010
Table des matières:
“... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”Accéder au texte intégral
Électronique
eBook
12
Publié 2005
Table des matières:
“...? -- Properties of Stereotypes from the Perspective of Their Role in Designs -- A Modelling and Simulation Based...”Accéder au texte intégral
Électronique
eBook
13
Publié 2010
Table des matières:
“...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”Accéder au texte intégral
Électronique
eBook
14
Publié 2005
Table des matières:
“... Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise Java...”Accéder au texte intégral
Électronique
eBook
15
Publié 2008
Table des matières:
“... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”Accéder au texte intégral
Électronique
eBook
16
Publié 2008
Table des matières:
“... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”Accéder au texte intégral
Électronique
eBook
17
Publié 2012
Table des matières:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”Accéder au texte intégral
Électronique
eBook
18
Publié 2015
Table des matières:
“... -- Tool Papers -- StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java -- TIPEX: a tool...”Accéder au texte intégral
Électronique
eBook
19
Publié 2010
Table des matières:
“... -- Formal Analysis and Verification of Self-Healing Systems -- Stochastic Simulation of Graph Transformation...”Accéder au texte intégral
Électronique
eBook
20
Publié 2008
Table des matières:
“... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”Accéder au texte intégral
Électronique
eBook