Search Results - integration simulation programming generative java https

Search alternatives:
integration simulation » interaction simulation , integrating simulation , integrated simulation
simulation programming » simulation program , recreation programming , simulation gaming
programming generative » programming generating , programming imperative , programming interactive
generative java » generative data , generative art , generative sla
https » http

Next Generation Information Technologies and Systems 6th International Conference, NGITS 2006, Kebbutz Sehfayim, Israel, July 4-6, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Next-Generations Applications -- Analysis of Queries Reaching SHIL on the Web – An Information System...”
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: “... Processing -- High-Bandwidth Address Generation Unit -- An IP Core for Embedded Java Systems -- Embedded...”
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: “... Generation for ASIP Programming Support -- Sandbridge Software Tools -- Architectures and Implementations...”
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: “... Generation from UML Models with Semantic Variation Points -- Composing Domain-Specific Languages for Wide...”
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: “... in Aspect-Oriented Modeling -- Mapping the UML2 Semantics of Associations to a Java Code Generation Model...”
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: “...Keynotes -- Eating Our Own Dog Food: DSLs for Generative and Transformational Engineering -- If MDE...”
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

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

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

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

Published 2010

Table of Contents: “... Algorithms: From Java to C -- Integrate Online Model Checking into Distributed Reconfigurable System on Chip...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B...”
View full text

Electronic eBook

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Published 2005

Table of Contents: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
View full text

Electronic eBook

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Integration to a Microsoft Robotics Studio Simulation -- A Proposed Framework for Collaborative Design in a...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of...

Published 2005

Table of Contents: “... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”
View full text

Electronic eBook

Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Softw...

Published 2005

Table of Contents: “... -- Automated Model-Based Testing of ? Simulation Models with TorX -- Jartege: A Tool for Random Generation...”
View full text

Electronic eBook

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings /

Published 2006

Table of Contents: “...Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines...”
View full text

Electronic eBook

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Published 2005

Table of Contents: “... Modification of Planning Scheduler and Fuzzy Logic Control Law Response -- Integrated Tool for Testing Timed...”
View full text

Electronic eBook

Processor Design System-On-Chip Computing for ASICs and FPGAs /

Published 2007

Table of Contents: “... Simulations -- Programming Tools for Reconfigurable Processors -- Software-Based Self-Testing of Embedded...”
View full text

Electronic eBook

Narrow Search