Search Results - interactive simulation programming programming constructs https

Search alternatives:
programming programming » programming programmed , programming program
interactive simulation » interactive simulations , interactive visualization
simulation programming » simulation program , recreation programming , simulation gaming
programming constructs » programming concepts , programming contest
constructs https » construction https , constructs loops , constructs arti

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

Published 2007

Table of Contents: “... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”
View full text

Electronic eBook

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Published 2014

Table of Contents: “... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...”
View full text

Electronic eBook

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings /

Published 2008

Table of Contents: “... Algorithm with Indirect Representation -- Evolved Look-Up Tables for Simulated DNA Controlled Robots...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference...

Published 2010

Table of Contents: “... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference...

Published 2006

Table of Contents: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
View full text

Electronic eBook

Software Process Modeling

Published 2005

Table of Contents: “...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...”
View full text

Electronic eBook

Human-Computer Interaction. Advanced Interaction, Modalities, and Techniques 16th International...

Published 2014

Table of Contents: “... Interaction Communication Requirements -- An Emotional Framework for a Real-Life Worker Simulation: Emotional...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “...SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion...”
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: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”
View full text

Electronic eBook

Principles of the Spin Model Checker

by Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Published 2008

Table of Contents: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
View full text

Electronic eBook

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 /

Published 2006

Table of Contents: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
View full text

Electronic eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
View full text

Electronic eBook

Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers /

Published 2007

Table of Contents: “... the Way Down” -- The Construction of Multi-agent Systems as an Engineering Discipline -- Current Issues...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Published 2007

Table of Contents: “... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”
View full text

Electronic eBook

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Published 2012

Table of Contents: “... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... Language for Coordination in Mobile Ad Hoc Networks -- Compositional Construction of Real-Time Dataflow...”
View full text

Electronic eBook

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”
View full text

Electronic eBook

Narrow Search