Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program functionality » protein functionality, programs functional, supra functionality
functionality testing » functionality setting, functional testing, functionality using
parallel iterative » parallel operating
iterative program » interactive program, imperative program, interactive programs
testing https » teaching https, being https, writing https
program functionality » protein functionality, programs functional, supra functionality
functionality testing » functionality setting, functional testing, functionality using
parallel iterative » parallel operating
iterative program » interactive program, imperative program, interactive programs
testing https » teaching https, being https, writing https
1
Published 2006
Table of Contents:
“... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... for Detecting the Global Convergence in Asynchronous Iterative Algorithms -- A Parallel Implementation...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Accelerated Degradation Test to Evaluate Power Fade of Batteries for Electric Vehicles -- The Development...”View full text
Electronic
eBook