Search Results - parallel data programming validating function https

1

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

Published 2008

Table of Contents: “...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...”
View full text

Electronic eBook

2

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

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

3

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

Published 2010

Table of Contents: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
View full text

Electronic eBook

4

Advances in Intelligent Data Analysis VI 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005, Proceedings /

Published 2005

Table of Contents: “...Probabilistic Latent Clustering of Device Usage -- Condensed Nearest Neighbor Data Domain...”
View full text

Electronic eBook

5

Topological Methods in Data Analysis and Visualization III Theory, Algorithms, and Applications /

Published 2014

Table of Contents: “... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”
View full text

Electronic eBook

6

Classification and Data Science in the Digital Age

Published 2023

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

Electronic eBook

7

Machine Learning and Data Mining in Pattern Recognition 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007, Proceedings /

Published 2007

Table of Contents: “... Probability Density Function Reconstruction for Randomization in Privacy-Preserving Data Mining...”
View full text

Electronic eBook

8

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

Published 2014

Table of Contents: “...Image and Template Security for Palmprint -- Extending Network Lifetime by Time Constrained Data...”
View full text

Electronic eBook

9

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

Published 2008

Table of Contents: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
View full text

Electronic eBook

10

Transactions on High-Performance Embedded Architectures and Compilers IV

Published 2011

Table of Contents: “... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”
View full text

Electronic eBook

11

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

Published 2005

Table of Contents: “... -- An Extension of Self-organizing Maps to Categorical Data -- Programming Relational Databases for Itemset Mining...”
View full text

Electronic eBook

12

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

Published 2013

Table of Contents: “... for Large Systems -- Improving Post-silicon Validation Efficiency by Using Pre-generated Data -- Development...”
View full text

Electronic eBook

13

Advances in Neural Networks – ISNN 2014 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28 -- December 1, 2014. Proceedings /

Published 2014

Table of Contents: “... Estimation for a Class of Interconnected Nonlinear System with Triangular Forms -- Big Data Matrix Singular...”
View full text

Electronic eBook

14

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

Published 2015

Table of Contents: “... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...”
View full text

Electronic eBook

15

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

Published 2008

Table of Contents: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
View full text

Electronic eBook

16

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

Published 2012

Table of Contents: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
View full text

Electronic eBook

17

Bioinformatics Research and Development First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings /

Published 2007

Table of Contents: “... I -- Patch Prediction of Protein Interaction Sites: Validation of a Scoring Function for an Online...”
View full text

Electronic eBook

18

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

Published 2010

Table of Contents: “... -- Validated Special Functions Software -- The Dynamic Dictionary of Mathematical Functions (DDMF) -- Reliable...”
View full text

Electronic eBook

19

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

Published 2005

Table of Contents: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
View full text

Electronic eBook

20

Innovations in Hybrid Intelligent Systems

Published 2007

Table of Contents: “... Networks for Data Integration — A Case Study -- Combined Projection and Kernel Basis Functions...”
View full text

Electronic eBook

Narrow Search