Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive simulations » interactive visualization, interactive applications
simulations programming » simulation programming, stimulation programming, relations programming
problem implementation » problems implementation, program implementation, programs implementation
implementation https » instrumentation https, implementation _
programming problem » programming problems
interactive simulations » interactive visualization, interactive applications
simulations programming » simulation programming, stimulation programming, relations programming
problem implementation » problems implementation, program implementation, programs implementation
implementation https » instrumentation https, implementation _
programming problem » programming problems
1
Published 2010
Table of Contents:
“... as an Ingredient for Physical Reasoning -- Simulating Vehicle Kinematics with SimVis3D and Newton -- Programming...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... -- On the Equivalence-Checking Problem for a Model of Programs Related With Multi-tape Automata -- Poster Papers...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... -- Certifying Voting Protocols -- Invited Tutorials.-Counterexample Generation Meets Interactive Theorem Proving...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Implementations of a Molecular Modeling Application -- OpenMP Implementation of SPICE3 Circuit Simulator...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... for the Ingredients of Discrete Element Model -- Interactive Visualization to Advance Earthquake Simulation...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“...SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Environment Based on the Oz Programming Model -- Solving the Aircraft Sequencing Problem Using Concurrent...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Parallel Hierarchical Cubing Algorithm on High Dimensional OLAP -- A Time and Interaction Model for Open...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“...High Performance Implementation of an FPGA-Based Sequential DT-CNN -- HANNA: A Tool for Hardware...”View full text
Electronic
eBook
15
Published 2012
Table of Contents:
“...MPI implementation techniques and issues -- Benchmarking and performance analysis -- Programming...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”View full text
Electronic
eBook
17
Published 2011
Subjects:
“...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...-GPU and Multi-CPU Parallelization for Interactive Physics Simulations -- Long DNA Sequence Comparison...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Problem-Based Approach -- Verifying Parallel Programs with MPI-Spin -- Advanced MPI Programming...”View full text
Electronic
eBook