Søgeresultater - parallel program validation functionals function https

Søg alternativer:
validation functionals » validation functional , validation function , valuation functional
functionals function » function function , functions functional , function dysfunction
program validation » programs validation , program vilidation , program evaluation
parallel program » parallel programs , parallel problem , parallel programming
function https » functions https , fiction https

Leveraging Applications of Formal Methods, Verification and Validation Third International...

Udgivet 2008

Indholdsfortegnelse: “...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Få fuldtekst

Electronisk eBog

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Få fuldtekst

Electronisk eBog

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Få fuldtekst

Electronisk eBog

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Få fuldtekst

Electronisk eBog

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Få fuldtekst

Electronisk eBog

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Få fuldtekst

Electronisk eBog

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Få fuldtekst

Electronisk eBog

Transactions on High-Performance Embedded Architectures and Compilers IV

Udgivet 2011

Indholdsfortegnelse: “... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”
Få fuldtekst

Electronisk eBog

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... -- Validated Special Functions Software -- The Dynamic Dictionary of Mathematical Functions (DDMF) -- Reliable...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “...Experimental Validation of a Risk Assessment Method -- Supporting the Validation of Adequacy...”
Få fuldtekst

Electronisk eBog

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows /

af Prodan, Radu., Prodan, Radu., Fahringer, Thomas.
Udgivet 2007

Fag: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Få fuldtekst

Electronisk eBog

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings /

Udgivet 2012

Indholdsfortegnelse: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
Få fuldtekst

Electronisk eBog

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Udgivet 2014

Indholdsfortegnelse: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Få fuldtekst

Electronisk eBog

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Udgivet 2006

Indholdsfortegnelse: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Få fuldtekst

Electronisk eBog

High Performance Computing in Science and Engineering, Garching 2004 Transaction of the KONWIHR Result Workshop, October 14-15, 2004, Technical University of Munich, Garching, Germ...

Udgivet 2005

Indholdsfortegnelse: “... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”
Få fuldtekst

Electronisk eBog

International Handbook of Occupational Therapy Interventions

Udgivet 2015

Indholdsfortegnelse: “... Therapist Manages for Adaptations ─ Overview -- Environmental Adaptation for Individuals with Functional...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning