Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality integration » functionality interactions, functional integration, functions integration
program functionality » protein functionality, programs functional, supra functionality
integration https » interaction https, migration https
parallel binary » parallel boundary, parallel library, parallel vary
binary program » binary programs, library program, binary programming
functionality integration » functionality interactions, functional integration, functions integration
program functionality » protein functionality, programs functional, supra functionality
integration https » interaction https, migration https
parallel binary » parallel boundary, parallel library, parallel vary
binary program » binary programs, library program, binary programming
1
Published 2005
Table of Contents:
“... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... for Pairwise Combinatorial Interaction Testing -- Integrity Check for Printed Binary Document Images -- FACE...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... -- Parallelization of an Evolutionary Algorithm on a Platform with Multi-core Processors -- On the Difficulty...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... -- Weighted Cohesiveness for Identification of Functional Modules and Their Interconnectivity -- Modelling...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Networks for Data Integration — A Case Study -- Combined Projection and Kernel Basis Functions...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... Environment -- 4. Enhanced Security Framework for Data Integrity Using Third-Party Auditing in the Cloud...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... -- Optimization of Livestock Feed by Blend of Linear Programming and SOMGA -- Earthquake Data Sorting with Minimum...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Kernel Functions Used in Binary Classification -- The Auxiliary Control System from Railway Operation...”View full text
Electronic
eBook