Hakutulokset - ((functions computation) or (functions computational)) programming validating based virtual*

Tarkoititko:
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 /

Julkaistu 2005

Sisällysluettelo: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2014

Sisällysluettelo: “... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2012

Sisällysluettelo: “... -- Towards a Framework for Simulation Based Design, Validation and Performance Analysis of Electronic Control...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2014

Sisällysluettelo: “...Introduction to Track on Engineering Virtualized Services -- Erlang-Style Error Recovery...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2007

Sisällysluettelo: “... Network on Chip -- System Modeling and Simulation -- Communication Architecture Simulation on the Virtual...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... an Interactive CFD Simulation on a Supercomputer for Computational Steering in a Virtual Reality Environment...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2013

Sisällysluettelo: “... Strategies for Education in Engineering for Virtual Team Development -- New Automated Assembly Model Based...”
Hae kokoteksti

Elektroninen E-kirja

Inductive Databases and Constraint-Based Data Mining

Julkaistu 2010

Sisällysluettelo: “...Inductive Databases and Constraint-based Data Mining: Introduction and Overview -- Representing...”
Hae kokoteksti

Elektroninen E-kirja

Adobe ColdFusion Anthology The Best of The Fusion Authority /

Tekijä Dinowitz, Michael., Dinowitz, Michael., Dinowitz, Judith.
Julkaistu 2010

Sisällysluettelo: “...-Defined Functions to ColdFusion Components -- onMissingTemplate()—Error Handler and So Much More -- “Say...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... Based on Networked Architecture -- Validation of a Virtual Reality Environment to Study Anticipatory...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... -- A Real Time Human Detection System Based on Far Infrared Vision -- Computer Vision -- Uniqueness...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... Inhibitors - A Case Study -- Impact of Base Functional Component Types on Software Functional Size Based...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2012

Sisällysluettelo: “...Virtualization -- Trusted VM Snapshots in Untrusted Cloud Infrastructures -- Secure and Robust...”
Hae kokoteksti

Elektroninen E-kirja

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 /

Julkaistu 2007

Sisällysluettelo: “... for Heterogeneous Context Aware Services -- Community Computing Model Supporting Community Situation Based Strict...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2012

Sisällysluettelo: “... Service Platform Based on Cloud Computing for Manufacturing Industry -- Communication Networks...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... -- Behavioral Self-control of Agent-Based Virtual Pedestrians -- ISSADS 2004 -- Security Challenges...”
Hae kokoteksti

Elektroninen E-kirja

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

Tekijä Spear, Chris., Spear, Chris.
Julkaistu 2008

Sisällysluettelo: “... and Pure Virtual Methods -- 8.7 Callbacks -- 8.8 Parameterized Classes -- 8.9 Conclusion -- 9. Functional...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... Semantic Web Image Repository for Biological Research Images -- Formal Languages -- Mapping Validation...”
Hae kokoteksti

Elektroninen E-kirja

Innovations in Hybrid Intelligent Systems

Julkaistu 2007

Sisällysluettelo: “... Agents -- Using Semantic Causality Graphs to Validate MAS Models -- A Multiagent Framework to Animate...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua