Sökresultat - ((functions computation) or (functions computational)) programming validating based virtual*

Menade du:
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

Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
Hämta fulltext

Elektronisk E-bok

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference...

Publicerad 2014

Innehållsförteckning: “... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2012

Innehållsförteckning: “... -- Towards a Framework for Simulation Based Design, Validation and Performance Analysis of Electronic Control...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2014

Innehållsförteckning: “...Introduction to Track on Engineering Virtualized Services -- Erlang-Style Error Recovery...”
Hämta fulltext

Elektronisk E-bok

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... Network on Chip -- System Modeling and Simulation -- Communication Architecture Simulation on the Virtual...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... an Interactive CFD Simulation on a Supercomputer for Computational Steering in a Virtual Reality Environment...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2013

Innehållsförteckning: “... Strategies for Education in Engineering for Virtual Team Development -- New Automated Assembly Model Based...”
Hämta fulltext

Elektronisk E-bok

Inductive Databases and Constraint-Based Data Mining

Publicerad 2010

Innehållsförteckning: “...Inductive Databases and Constraint-based Data Mining: Introduction and Overview -- Representing...”
Hämta fulltext

Elektronisk E-bok

Adobe ColdFusion Anthology The Best of The Fusion Authority /

av Dinowitz, Michael., Dinowitz, Michael., Dinowitz, Judith.
Publicerad 2010

Innehållsförteckning: “...-Defined Functions to ColdFusion Components -- onMissingTemplate()—Error Handler and So Much More -- “Say...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... Based on Networked Architecture -- Validation of a Virtual Reality Environment to Study Anticipatory...”
Hämta fulltext

Elektronisk E-bok

Image and Signal Processing 3rd International Conference, ICISP 2008, Cherbourg-Octeville, France, July 1-3, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... -- A Real Time Human Detection System Based on Far Infrared Vision -- Computer Vision -- Uniqueness...”
Hämta fulltext

Elektronisk E-bok

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Inhibitors - A Case Study -- Impact of Base Functional Component Types on Software Functional Size Based...”
Hämta fulltext

Elektronisk E-bok

Research in Attacks, Intrusions and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012, Proceedings /

Publicerad 2012

Innehållsförteckning: “...Virtualization -- Trusted VM Snapshots in Untrusted Cloud Infrastructures -- Secure and Robust...”
Hämta fulltext

Elektronisk E-bok

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 /

Publicerad 2007

Innehållsförteckning: “... for Heterogeneous Context Aware Services -- Community Computing Model Supporting Community Situation Based Strict...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2012

Innehållsförteckning: “... Service Platform Based on Cloud Computing for Manufacturing Industry -- Communication Networks...”
Hämta fulltext

Elektronisk E-bok

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Publicerad 2008

Innehållsförteckning: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
Hämta fulltext

Elektronisk E-bok

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Publicerad 2005

Innehållsförteckning: “... -- Behavioral Self-control of Agent-Based Virtual Pedestrians -- ISSADS 2004 -- Security Challenges...”
Hämta fulltext

Elektronisk E-bok

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

av Spear, Chris., Spear, Chris.
Publicerad 2008

Innehållsförteckning: “... and Pure Virtual Methods -- 8.7 Callbacks -- 8.8 Parameterized Classes -- 8.9 Conclusion -- 9. Functional...”
Hämta fulltext

Elektronisk E-bok

The Semantic Web: Research and Applications 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain /

Publicerad 2008

Innehållsförteckning: “... Semantic Web Image Repository for Biological Research Images -- Formal Languages -- Mapping Validation...”
Hämta fulltext

Elektronisk E-bok

Innovations in Hybrid Intelligent Systems

Publicerad 2007

Innehållsförteckning: “... Agents -- Using Semantic Causality Graphs to Validate MAS Models -- A Multiagent Framework to Animate...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen