Risultati della ricerca - integration simulation programming problems constructs https

Cerca anche:
integration simulation » interaction simulation , integrating simulation , integrated simulation
simulation programming » simulation program , recreation programming , simulation gaming
problems constructs » problems constructions , problems construction , problem construction
constructs https » construction https , constructs loops , constructs arti

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

Pubblicazione 2006

Sommario: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”
Testo

Elettronico eBook

Integrated Graphic and Computer Modelling

di Thomas, Adrian., Thomas, Adrian.
Pubblicazione 2008

Sommario: “... Searching & Problem Solving -- Display System and Hardware Programming Primitives -- Computer Hardware...”
Testo

Elettronico eBook

Transactions on Petri Nets and Other Models of Concurrency I

Pubblicazione 2008

Sommario: “...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...”
Testo

Elettronico eBook

Non-smooth Problems in Vehicle Systems Dynamics Proceedings of the Euromech 500 Colloquium /

Pubblicazione 2010

Sommario: “... Sets -- Measurement, Modelling and Simulation of Curve Squealing of Trains -- Selected Problems of Non...”
Testo

Elettronico eBook

Advances in Integrated Design and Manufacturing in Mechanical Engineering II

Pubblicazione 2007

Sommario: “...Plenary Talks -- Supporting Participative Joint Decisions in Integrated Design and Manufacturing...”
Testo

Elettronico eBook

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Pubblicazione 2008

Sommario: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
Testo

Elettronico eBook

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

Pubblicazione 2005

Sommario: “... Are Aspect Free -- Design Strategies -- Representing and Applying Design Patterns: What Is the Problem...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
Testo

Elettronico eBook

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

Pubblicazione 2012

Sommario: “... on Boundary Integral Operators.-Part II: Robust Multigrid, Multilevel and Multiscale, Deterministic...”
Testo

Elettronico eBook

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

Pubblicazione 2014

Sommario: “...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...”
Testo

Elettronico eBook

Cellular Automata 8th International Conference on Cellular Automata for Research and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008, Proceedings /

Pubblicazione 2008

Sommario: “... Automata to Self-organizing Circuits -- Integrated Simulation and Information Sharing System for Disaster...”
Testo

Elettronico eBook

Aspects of Mathematical Modelling Applications in Science, Medicine, Economics and Management /

Pubblicazione 2008

Sommario: “... and Inhibitory Self-Connections -- The Single-Vendor Multi-Buyer Integrated Inventory Problem: an Heuristic...”
Testo

Elettronico eBook

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Pubblicazione 2007

Sommario: “... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”
Testo

Elettronico eBook

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

Pubblicazione 2010

Sommario: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Testo

Elettronico eBook

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

Pubblicazione 2007

Sommario: “... -- Experiment of Event Injection Technology for Network Dependability Evaluation -- Analysis on Construction...”
Testo

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

Pubblicazione 2010

Sommario: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Testo

Elettronico eBook

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Pubblicazione 2005

Sommario: “... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”
Testo

Elettronico eBook

Computational Intelligence and Intelligent Systems 5th International Symposium, ISICA 2010, Wuhan, China, October 2010, Proceedings /

Pubblicazione 2010

Sommario: “... Evolutionary Programming -- Merging the Ranking and Selection into ITO Algorithm for Simulation Optimization...”
Testo

Elettronico eBook

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Pubblicazione 2010

Sommario: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
Testo

Elettronico eBook

Restringi la ricerca