Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
properties functionals » properties functional, properties functions, properties functionality
functionals function » function function, functions functional, function dysfunction
tutorial properties » functorial properties, material properties, sensorial properties
parallel tutorial » parallel bacterial, parallel serial
function https » functions https, fiction https
properties functionals » properties functional, properties functions, properties functionality
functionals function » function function, functions functional, function dysfunction
tutorial properties » functorial properties, material properties, sensorial properties
parallel tutorial » parallel bacterial, parallel serial
function https » functions https, fiction https
1
Published 2005
Table of Contents:
“... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... -- Invited Tutorial -- Overcoming Performance Barriers: Efficient Verification Techniques for Logical...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Prior Knowledge -- Visual Interactive Subgroup Discovery with Numerical Properties of Interest...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation -- Steering Active...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Environment -- The Analysis of the Efficiency of Parallelization of Existing Serial Code on the Basis...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... the Perspective of Loss Function -- Rating Propagation in Web Services Reputation Systems: A Fast Shapley Value...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... the Perspective of Loss Function -- Rating Propagation in Web Services Reputation Systems: A Fast Shapley Value...”View full text
Electronic
eBook