檢索結果 - interaction simulation 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 /

出版 2012

書本目錄: “... to Design, Simulate and Deploy Robotic Applications -- A Java vs. C++ Performance Evaluation: A 3D Modeling...”
獲取全文

電子電子書

2

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

出版 2008

書本目錄: “... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”
獲取全文

電子電子書

3

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

出版 2006

書本目錄: “... Analysis -- Regular Papers -- Infinite Qualitative Simulations by Means of Constraint Programming...”
獲取全文

電子電子書

4

Interactive Quantum Mechanics Quantum Experiments on the Computer /

由 Brandt, Siegmund., Brandt, Siegmund., Dahmen, Hans Dieter., Stroh, T.
出版 2011

主題: “...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”
獲取全文

電子電子書

5

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

出版 2006

書本目錄: “... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...”
獲取全文

電子電子書

6

The Common Component Modeling Example Comparing Software Component Models /

出版 2008

書本目錄: “... with Relational Calculus of Object and Component Systems - rCOS -- Component-Interaction Automata Approach (CoIn...”
獲取全文

電子電子書

7

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

出版 2010

書本目錄: “... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”
獲取全文

電子電子書

8

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

出版 2008

書本目錄: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
獲取全文

電子電子書

10

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

出版 2008

書本目錄: “... Complexity of Multi-agent Simulations – An Attempt Using Metrics -- DCaseLP: A Prototyping Environment...”
獲取全文

電子電子書

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 /

出版 2006

書本目錄: “... Engineering Environments -- MPJ Express Meets Gadget: Towards a Java Code for Cosmological Simulations...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”
獲取全文

電子電子書

13

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

出版 2005

書本目錄: “... -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing...”
獲取全文

電子電子書

14

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

出版 2008

書本目錄: “... Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns...”
獲取全文

電子電子書

15

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

出版 2010

書本目錄: “... for Boxes and Traits in a Java-Like Setting -- JErlang: Erlang with Joins -- A Hybrid Visual Dataflow...”
獲取全文

電子電子書

16

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

出版 2010

書本目錄: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
獲取全文

電子電子書

17

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

出版 2010

書本目錄: “... Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2...”
獲取全文

電子電子書

18

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

出版 2007

書本目錄: “... -- Tactical Battlefield Entities Simulation Model Based on Multi-agent Interactions -- Extensive Epidemic...”
獲取全文

電子電子書

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

出版 2005

書本目錄: “...Keynotes -- Reexamining the Role of Interactions in Software Architecture -- Are Successful Test...”
獲取全文

電子電子書

20

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

出版 2010

書本目錄: “... Development and Programming of Multi-core SoC -- HPPC 2009 Panel: Are Many-Core Computer Vendors on Track...”
獲取全文

電子電子書

縮小搜索