Sökresultat - interactive simulations ((programming programme) OR (programming programmed)) implementation

1

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR...

Publicerad 2010

Innehållsförteckning: “... as an Ingredient for Physical Reasoning -- Simulating Vehicle Kinematics with SimVis3D and Newton -- Programming...”
Hämta fulltext

Elektronisk E-bok

2

Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-7, 2008. Proceedings /

Publicerad 2008

Innehållsförteckning: “...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”
Hämta fulltext

Elektronisk E-bok

3

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

Publicerad 2008

Innehållsförteckning: “... Implementations of a Molecular Modeling Application -- OpenMP Implementation of SPICE3 Circuit Simulator...”
Hämta fulltext

Elektronisk E-bok

4

Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France...

Publicerad 2005

Innehållsförteckning: “... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...”
Hämta fulltext

Elektronisk E-bok

5

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”
Hämta fulltext

Elektronisk E-bok

6

Design and Simulation of Differential Protective Relay (DPR) to 33/11kv Delta-Wye Transformer Using Saber Software Simulator

av Othman, Muhammad Murtadha
Publicerad 2000

Ämnen: “...SaberBASIC (Computer program language)...”
Hämta fulltext

Lärdomsprov

7

Design and simulation of differential protective relay (DPR) to 33/11kV delta-wye transformer using SABER software simulator /

av Muhammad Murtadha Othman.

Ämnen: “...SaberBASIC (Computer program language)...”

Lärdomsprov Bok

8

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /

Publicerad 2005

Innehållsförteckning: “...: A Practical Solution Incorporating Constraint Programming and Heuristics -- An Interactive Tool...”
Hämta fulltext

Elektronisk E-bok

9

Social Interaction, Globalization and Computer-Aided Analysis A Practical Guide to Developing Social Simulation /

av Osherenko, Alexander., Osherenko, Alexander.
Publicerad 2014

Innehållsförteckning: “... -- Introduction -- Related Work on Social Interaction and Social Simulation -- Scenarios of Social Interaction...”
Hämta fulltext

Elektronisk E-bok

10

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings /

Publicerad 2013

Innehållsförteckning: “... -- Certifying Voting Protocols -- Invited Tutorials.-Counterexample Generation Meets Interactive Theorem Proving...”
Hämta fulltext

Elektronisk E-bok

11

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference...

Publicerad 2013

Innehållsförteckning: “...Speech, Natural Language and Auditory Interfaces -- Controlling Interaction in Multilingual...”
Hämta fulltext

Elektronisk E-bok

12

Implementation and Application of Automata 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers /

Publicerad 2005

Innehållsförteckning: “... -- On the Complexity of Hopcroft’s State Minimization Algorithm -- Implementation of Catalytic P Systems -- Code...”
Hämta fulltext

Elektronisk E-bok

13

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”
Hämta fulltext

Elektronisk E-bok

14

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

Publicerad 2006

Innehållsförteckning: “... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...”
Hämta fulltext

Elektronisk E-bok

15

Agent-Based Simulation: From Modeling Methodologies to Real-World Applications Post Proceedings...

Publicerad 2005

Innehållsförteckning: “...SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion...”
Hämta fulltext

Elektronisk E-bok

16

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Publicerad 2015

Innehållsförteckning: “...: At the Crossroads of Design, Implementation and Foundations -- Reasoning about C Concurrency and Compilers...”
Hämta fulltext

Elektronisk E-bok

17

Earthquakes: Simulations, Sources and Tsunamis

Publicerad 2008

Innehållsförteckning: “... for the Ingredients of Discrete Element Model -- Interactive Visualization to Advance Earthquake Simulation...”
Hämta fulltext

Elektronisk E-bok

18

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 /

Publicerad 2006

Innehållsförteckning: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Hämta fulltext

Elektronisk E-bok

19

Recent Advances in Parallel Virtual Machine and Message Passing Interface 14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... -- Gyrokinetic Semi-lagrangian Parallel Simulation Using a Hybrid OpenMP/MPI Programming -- Automatic...”
Hämta fulltext

Elektronisk E-bok

20

The Common Component Modeling Example Comparing Software Component Models /

Publicerad 2008

Innehållsförteckning: “... with Relational Calculus of Object and Component Systems - rCOS -- Component-Interaction Automata Approach (CoIn...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen