Rezultaty - interactive simulations programs program java https

1

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

Wydane 2012

Spis treści: “... to Design, Simulate and Deploy Robotic Applications -- A Java vs. C++ Performance Evaluation: A 3D Modeling...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

OpenMP Shared Memory Parallel Programming International Workshop, IWOMP 2005 and IWOMP 2006, Eugene...

Wydane 2008

Spis treści: “... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings /

Wydane 2006

Spis treści: “... Analysis -- Regular Papers -- Infinite Qualitative Simulations by Means of Constraint Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Interactive Quantum Mechanics Quantum Experiments on the Computer /

od Brandt, Siegmund., Brandt, Siegmund., Dahmen, Hans Dieter., Stroh, T.
Wydane 2011

Hasła przedmiotowe: “...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

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

Wydane 2006

Spis treści: “... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

The Common Component Modeling Example Comparing Software Component Models /

Wydane 2008

Spis treści: “... with Relational Calculus of Object and Component Systems - rCOS -- Component-Interaction Automata Approach (CoIn...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Wydane 2010

Spis treści: “... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

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

Wydane 2008

Spis treści: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

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

Wydane 2008

Spis treści: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers /

Wydane 2008

Spis treści: “... Complexity of Multi-agent Simulations – An Attempt Using Metrics -- DCaseLP: A Prototyping Environment...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Wydane 2006

Spis treści: “... Engineering Environments -- MPJ Express Meets Gadget: Towards a Java Code for Cosmological Simulations...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

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

Wydane 2010

Spis treści: “... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

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

Wydane 2005

Spis treści: “... -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

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

Wydane 2008

Spis treści: “... Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings /

Wydane 2010

Spis treści: “... for Boxes and Traits in a Java-Like Setting -- JErlang: Erlang with Joins -- A Hybrid Visual Dataflow...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

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

Wydane 2010

Spis treści: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Wydane 2010

Spis treści: “... Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Wydane 2007

Spis treści: “... -- Tactical Battlefield Entities Simulation Model Based on Multi-agent Interactions -- Extensive Epidemic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

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

Wydane 2005

Spis treści: “...Keynotes -- Reexamining the Role of Interactions in Software Architecture -- Are Successful Test...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Wydane 2010

Spis treści: “... Development and Programming of Multi-core SoC -- HPPC 2009 Panel: Are Many-Core Computer Vendors on Track...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty