Rezultaty - parallel programs valid functionals function https

1

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

Wydane 2008

Spis treści: “...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

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

Wydane 2014

Spis treści: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

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

Wydane 2005

Spis treści: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

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

Wydane 2008

Spis treści: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

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

Wydane 2013

Spis treści: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

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

Wydane 2008

Spis treści: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

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

Wydane 2005

Spis treści: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

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

Wydane 2008

Spis treści: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

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

Wydane 2010

Spis treści: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Transactions on High-Performance Embedded Architectures and Compilers IV

Wydane 2011

Spis treści: “... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

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

Wydane 2015

Spis treści: “... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

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

Wydane 2015

Spis treści: “...Experimental Validation of a Risk Assessment Method -- Supporting the Validation of Adequacy...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

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

od Prodan, Radu., Prodan, Radu., Fahringer, Thomas.
Wydane 2007

Hasła przedmiotowe: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

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

Wydane 2012

Spis treści: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

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

Wydane 2010

Spis treści: “... -- Validated Special Functions Software -- The Dynamic Dictionary of Mathematical Functions (DDMF) -- Reliable...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

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

Wydane 2014

Spis treści: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

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

Wydane 2006

Spis treści: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Classification and Data Science in the Digital Age

Wydane 2023

Spis treści: “... Based Clustering of Functional Data with Mild Outliers -- F. Antonazzo and S. Ingrassia: A Trivariate...”
Open Access Book. Read online

Elektroniczne E-book

19

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

Wydane 2005

Spis treści: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

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...

Wydane 2005

Spis treści: “... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty