Resultados da pesquisa - integrating simulation program 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

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

6

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

7

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Publicado em 2007

Sumário: “...Keynotes -- Software Is the Answer But What Is the Question? -- Integrating VLIW Processors with a...”
Obter o texto integral

Recurso Electrónico livro electrónico

8

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

Publicado em 2005

Sumário: “... for Reconfigurable Packet Processing -- Processor Architectures, Design and Simulation -- Flux Caches: What...”
Obter o texto integral

Recurso Electrónico livro electrónico

9

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

10

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

11

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

12

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

13

Computational Physics Simulation of Classical and Quantum Systems /

Por Scherer, Philipp., Scherer, Philipp.
Publicado em 2013

Sumário: “... -- Numerical Integration -- Systems of Inhomogeneous Linear Equations -- Roots and Extremal Points -- Fourier...”
Obter o texto integral

Recurso Electrónico livro electrónico

14

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

15

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

16

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