Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing program » processing programs, processing programmed, proceedings program
methods processing » methods preprocessing, methods proceedings, methods processes
program execution » program evaluation, process execution, project execution
interval methods » internal methods, interval method, integral methods
execution https » exertion https, execution status, execution actors
processing program » processing programs, processing programmed, proceedings program
methods processing » methods preprocessing, methods proceedings, methods processes
program execution » program evaluation, process execution, project execution
interval methods » internal methods, interval method, integral methods
execution https » exertion https, execution status, execution actors
1
Published 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Tracking Homotopy Iteration Method -- Fast Stereo Matching Method Using Edge Traction -- Hybrid Color Image...”View full text
Electronic
eBook
4
Published 2012
Table of Contents:
“... -- A Novel Federation Development and Execution Process Based on Collaboration Ontology -- PASENS...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“....-Semiparametric Bayesian Small Area Estimation Based on Dirichlet Process Priors -- Bootstrap confidence intervals...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... on Multicores and SMP Servers -- Programming with Intervals -- Adaptive and Speculative Memory Consistency...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Distributed Job Workflow Execution -- EPLAS: An Epistemic Programming Language for All Scientists...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Process -- Rotation Invariant Texture Classification Using Gabor Wavelets -- Harmful Contents...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“...-Dependence Analysis and Program Transformation for Symbolic Execution -- JPF–SE: A Symbolic Execution...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... -- A Technique for Early Software Reliability Prediction -- Formal Methods -- Executable Requirements...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Programming Systems in a Higher-Order Framework -- High-Level Expectations for Low-Level Image Processing...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Model -- An Interval-based Method for Text Clustering -- A GVT Based Algorithm for Butterfly Barrier...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... and Algorithm.- Maximizing Entropy over Markov Processes.- MAT Learning of Universal Automata.- A Graph...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”View full text
Electronic
eBook