Результаты поиска - ((functions computation) or (functions computational)) programming validating based visual*

Альтернативы поиска:
functions computational » function computation , directions computational , section computational
programming validating » programming evaluating , programming writing , programming balancing
functions computation » function computation , functions composition , function composition
validating based » validation based , calibrating based , validating mixed
based visual » based virtual

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

Опубликовано 2010

Оглавление: “... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2012

Оглавление: “... -- Towards a Framework for Simulation Based Design, Validation and Performance Analysis of Electronic Control...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2014

Оглавление: “... of Climate Impacts: The Example of Agile Workflows for the ci:grasp Platform -- A Visual Programming Approach...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2005

Оглавление: “... Validation -- Discrete Hierarchical Geometry -- Hierarchical Watersheds Within the Combinatorial Pyramid...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2006

Оглавление: “... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...”
Полный текст

Электронный ресурс eКнига

Genetic Programming Theory and Practice X

Опубликовано 2013

Оглавление: “... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”
Полный текст

Электронный ресурс eКнига

Genetic Programming Theory and Practice XI

Опубликовано 2014

Оглавление: “... Portfolio using Genetic Programming-based Load Models -- Maintenance of a Long Running Distributed Genetic...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2014

Оглавление: “... Performance Development -- A Test-Driven Approach for Model-Based Development of Powertrain Functions -- Part...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2005

Оглавление: “... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2013

Оглавление: “...-compensation for Visually Impaired Computer Users with Variable Pupil Size -- Digital Filtering of the Pupil...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2008

Оглавление: “... Properties from Knowledge Based Programs -- Detecting Code Evolution in Programming Learning -- Revising...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2010

Оглавление: “... Based on Networked Architecture -- Validation of a Virtual Reality Environment to Study Anticipatory...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2010

Оглавление: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2005

Оглавление: “... Computation Approaches for Shape Modelling and Fitting -- Reaction-Agents: First Mathematical Validation of a...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2010

Оглавление: “... Requirements Based on Patterns -- A Metamodel for Software Requirement Patterns -- Validation...”
Полный текст

Электронный ресурс eКнига

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 /

Опубликовано 2007

Оглавление: “... for Heterogeneous Context Aware Services -- Community Computing Model Supporting Community Situation Based Strict...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2012

Оглавление: “... Service Platform Based on Cloud Computing for Manufacturing Industry -- Communication Networks...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2007

Оглавление: “... Research -- Validity and Cross-Validity in HCI Publications -- Critical Systems -- Model-Based Engineering...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2015

Оглавление: “... for Elicitation of Quality Requirements -- Towards Crowd-based Requirements Engineering -- Functional Requirements...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2008

Оглавление: “... Rule-Based Systems -- Meta-analysis for Validation and Strategic Planning -- Rule-Based Methodologies...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска