Resultados da pesquisa - integration simulation ((program program) OR (programs program)) java (https or http)

1

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Publicado em 2012

Sumário: “... -- Simulation of Flexible Objects in Robotics -- Continuous Integration for Iterative Validation of Simulated...”
Obter o texto integral

Recurso Electrónico livro electrónico

2

Foundations of 3D Graphics Programming Using JOGL and Java3D /

Por Chen, Jim X., Chen, Jim X., Chen, Chunyang.
Publicado em 2008

Sumário: “... -- Vertex Shading, Pixel Shading, and Parallel Processing -- Cg Programming -- Programming in Java3D...”
Obter o texto integral

Recurso Electrónico livro electrónico

3

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings /

Publicado em 2010

Sumário: “...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”
Obter o texto integral

Recurso Electrónico livro electrónico

4

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Publicado em 2006

Sumário: “... to Experiment with Model Transformation -- SiTra: Simple Transformations in Java -- Analyzing Dynamic Models...”
Obter o texto integral

Recurso Electrónico livro electrónico

5

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Publicado em 2012

Sumário: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
Obter o texto integral

Recurso Electrónico livro electrónico

6

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Publicado em 2008

Sumário: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
Obter o texto integral

Recurso Electrónico livro electrónico

7

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Publicado em 2007

Sumário: “... -- An Approach to Software Evolution Based on Semantic Change -- A Simulation-Oriented Formalization for a...”
Obter o texto integral

Recurso Electrónico livro electrónico

8

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers /

Publicado em 2010

Sumário: “... as ADTs -- Towards Dynamic Evolution of Domain Specific Languages -- ScalaQL: Language-Integrated Database...”
Obter o texto integral

Recurso Electrónico livro electrónico

9

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Publicado em 2005

Sumário: “... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...”
Obter o texto integral

Recurso Electrónico livro electrónico

10

Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance 15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17,...

Publicado em 2010

Sumário: “... Web-Based Simulation Training Environment Using JavaDEMOS....”
Obter o texto integral

Recurso Electrónico livro electrónico

11

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Publicado em 2008

Sumário: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
Obter o texto integral

Recurso Electrónico livro electrónico

12

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

Publicado em 2005

Sumário: “...? -- Properties of Stereotypes from the Perspective of Their Role in Designs -- A Modelling and Simulation Based...”
Obter o texto integral

Recurso Electrónico livro electrónico

13

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Publicado em 2005

Sumário: “... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”
Obter o texto integral

Recurso Electrónico livro electrónico

14

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Publicado em 2014

Sumário: “... for the Generation of Communication Adapters Integrating SW and FW Components from Simulink -- A UML Model-Driven...”
Obter o texto integral

Recurso Electrónico livro electrónico

15

Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers /

Publicado em 2005

Sumário: “... -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing...”
Obter o texto integral

Recurso Electrónico livro electrónico

16

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Publicado em 2008

Sumário: “... Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B...”
Obter o texto integral

Recurso Electrónico livro electrónico

17

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2...

Publicado em 2010

Sumário: “... Algorithms: From Java to C -- Integrate Online Model Checking into Distributed Reconfigurable System on Chip...”
Obter o texto integral

Recurso Electrónico livro electrónico

18

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Publicado em 2010

Sumário: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Obter o texto integral

Recurso Electrónico livro electrónico

19

Integrated Graphic and Computer Modelling

Por Thomas, Adrian., Thomas, Adrian.
Publicado em 2008

Sumário: “...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...”
Obter o texto integral

Recurso Electrónico livro electrónico

20

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Publicado em 2006

Sumário: “... Processors -- SAD Prefetching for MPEG4 Using Flux Caches -- Effects of Program Compression -- Integrated...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa