Search Results - integration simulation programs integrative java https

Search alternatives:
integration simulation » interaction simulation , integrating simulation , integrated simulation
programs integrative » problems integrative , program integration , programs integrated
simulation programs » simulation program , simulation programming , education programs
integrative java » integrative data , interactive java , integrative care
https » http

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

Published 2010

Table of Contents: “...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”
View full text

Electronic eBook

Integrated Graphic and Computer Modelling

by Thomas, Adrian., Thomas, Adrian.
Published 2008

Table of Contents: “...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...”
View full text

Electronic eBook

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

Published 2012

Table of Contents: “... -- Simulation of Flexible Objects in Robotics -- Continuous Integration for Iterative Validation of Simulated...”
View full text

Electronic eBook

Foundations of 3D Graphics Programming Using JOGL and Java3D /

by Chen, Jim X., Chen, Jim X., Chen, Chunyang.
Published 2008

Table of Contents: “... -- Vertex Shading, Pixel Shading, and Parallel Processing -- Cg Programming -- Programming in Java3D...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Processors -- SAD Prefetching for MPEG4 Using Flux Caches -- Effects of Program Compression -- Integrated...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “...Keynotes -- Software Is the Answer But What Is the Question? -- Integrating VLIW Processors with a...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... for Reconfigurable Packet Processing -- Processor Architectures, Design and Simulation -- Flux Caches: What...”
View full text

Electronic eBook

Computational Physics Simulation of Classical and Quantum Systems /

by Scherer, Philipp., Scherer, Philipp.
Published 2013

Table of Contents: “... -- Numerical Integration -- Systems of Inhomogeneous Linear Equations -- Roots and Extremal Points -- Fourier...”
View full text

Electronic eBook

Computational Physics Simulation of Classical and Quantum Systems /

by Scherer, Philipp O.J., Scherer, Philipp O.J.
Published 2010

Table of Contents: “... Integration -- Systems of Inhomogeneous Linear Equations -- Roots and Extremal Points -- Fourier...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... to Experiment with Model Transformation -- SiTra: Simple Transformations in Java -- Analyzing Dynamic Models...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “...? -- Properties of Stereotypes from the Perspective of Their Role in Designs -- A Modelling and Simulation Based...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... as ADTs -- Towards Dynamic Evolution of Domain Specific Languages -- ScalaQL: Language-Integrated Database...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... for the Generation of Communication Adapters Integrating SW and FW Components from Simulink -- A UML Model-Driven...”
View full text

Electronic eBook

Introduction to Modeling for Biosciences

by Barnes, David J., Barnes, David J., Chu, Dominique.
Published 2010

Table of Contents: “...Foundations of Modeling -- Agent-Based Modeling -- ABMs Using Repast and Java -- Differential...”
View full text

Electronic eBook

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

Published 2012

Table of Contents: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
View full text

Electronic eBook

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...

Published 2008

Table of Contents: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
View full text

Electronic eBook

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...

Published 2007

Table of Contents: “... -- An Approach to Software Evolution Based on Semantic Change -- A Simulation-Oriented Formalization for a...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...”
View full text

Electronic eBook

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,...

Published 2010

Table of Contents: “... Web-Based Simulation Training Environment Using JavaDEMOS....”
View full text

Electronic eBook

Narrow Search