Canlyniadau Chwilio - ((functions computation) or (functions computational)) programming validation based visual*

Chwilio eraill:
functions computational » function computation , directions computational , section computational
programming validation » programming validating , programming evaluation , programming animation
functions computation » function computation , functions composition , function composition
validation based » validation issues , validation a , validation model
based visual » based virtual

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”
Cael y testun llawn

Electronig eLyfr

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI...

Cyhoeddwyd 2012

Tabl Cynhwysion: “... -- Towards a Framework for Simulation Based Design, Validation and Performance Analysis of Electronic Control...”
Cael y testun llawn

Electronig eLyfr

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

Cyhoeddwyd 2014

Tabl Cynhwysion: “... of Climate Impacts: The Example of Agile Workflows for the ci:grasp Platform -- A Visual Programming Approach...”
Cael y testun llawn

Electronig eLyfr

Discrete Geometry for Computer Imagery 12th International Conference, DGCI 2005, Poitiers, France, April 11-13, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Validation -- Discrete Hierarchical Geometry -- Hierarchical Watersheds Within the Combinatorial Pyramid...”
Cael y testun llawn

Electronig eLyfr

Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...”
Cael y testun llawn

Electronig eLyfr

Genetic Programming Theory and Practice X

Cyhoeddwyd 2013

Tabl Cynhwysion: “... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”
Cael y testun llawn

Electronig eLyfr

Genetic Programming Theory and Practice XI

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Portfolio using Genetic Programming-based Load Models -- Maintenance of a Long Running Distributed Genetic...”
Cael y testun llawn

Electronig eLyfr

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Performance Development -- A Test-Driven Approach for Model-Based Development of Powertrain Functions -- Part...”
Cael y testun llawn

Electronig eLyfr

High Performance Computing in Science and Engineering, Garching 2004 Transaction of the KONWIHR...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”
Cael y testun llawn

Electronig eLyfr

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Cyhoeddwyd 2013

Tabl Cynhwysion: “...-compensation for Visually Impaired Computer Users with Variable Pupil Size -- Digital Filtering of the Pupil...”
Cael y testun llawn

Electronig eLyfr

Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Properties from Knowledge Based Programs -- Detecting Code Evolution in Programming Learning -- Revising...”
Cael y testun llawn

Electronig eLyfr

Haptics: Generating and Perceiving Tangible Sensations, Part II 7th International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Based on Networked Architecture -- Validation of a Virtual Reality Environment to Study Anticipatory...”
Cael y testun llawn

Electronig eLyfr

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
Cael y testun llawn

Electronig eLyfr

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Computation Approaches for Shape Modelling and Fitting -- Reaction-Agents: First Mathematical Validation of a...”
Cael y testun llawn

Electronig eLyfr

Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Requirements Based on Patterns -- A Metamodel for Software Requirement Patterns -- Validation...”
Cael y testun llawn

Electronig eLyfr

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... for Heterogeneous Context Aware Services -- Community Computing Model Supporting Community Situation Based Strict...”
Cael y testun llawn

Electronig eLyfr

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings /

Cyhoeddwyd 2012

Tabl Cynhwysion: “... Service Platform Based on Cloud Computing for Manufacturing Industry -- Communication Networks...”
Cael y testun llawn

Electronig eLyfr

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Research -- Validity and Cross-Validity in HCI Publications -- Critical Systems -- Model-Based Engineering...”
Cael y testun llawn

Electronig eLyfr

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... for Elicitation of Quality Requirements -- Towards Crowd-based Requirements Engineering -- Functional Requirements...”
Cael y testun llawn

Electronig eLyfr

Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Rule-Based Systems -- Meta-analysis for Validation and Strategic Planning -- Rule-Based Methodologies...”
Cael y testun llawn

Electronig eLyfr

1
2
3
Nesaf »
[3]

Manylu'r Chwiliad