Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
programming reactive » programming active, programming reaction, programming deductive
reactive methods » reaction methods, active methods, creative methods
methods based » method based, methods case, methods used
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
programming reactive » programming active, programming reaction, programming deductive
reactive methods » reaction methods, active methods, creative methods
methods based » method based, methods case, methods used
1
Published 2007
Table of Contents:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... with Automatic Transition -- MIP-Guided Vascular Image Visualization with Multi-Dimensional Transfer Function...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Equations in *-continuous Action Lattices -- Reactive Probabilistic Programs and Refinement Algebra...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“...Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... Multicast Routing -- A New Improved Knowledge Based Cultural Algorithm for Reactive Power Planning -- BFO...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Likelihood Ratio Test Detector Using a Jointly Gaussian Probability Distribution Function -- Performance...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... on Computational Methods, Algorithms and Applications -- Phonological Recoding in the Second Language Processing...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... Function Theory.- A Genetic Algorithm for the TOPdTW at Operating Rooms.- A Computational Study...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Monitoring for Program Security -- Modular Formalization of Reactive Modules in COQ -- Closing Internal...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“...Closure Operators for ROBDDs -- A CLP Method for Compositional and Intermittent Predicate...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“...Insight, Inspiration and Collaboration -- From CSP to Game Semantics -- On Mereologies in Computing...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Structure -- Graph Seriation Using Semi-definite Programming -- Comparing String Representations...”View full text
Electronic
eBook
17
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
18
Published 2010
Table of Contents:
“... -- Reactive Network Monitor for DDoS Attacks -- Statistical Method for English to Kannada Transliteration...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... Checking -- The Rabin Index of Parity Games -- Using Computational Biology Methods to Improve Post-silicon...”View full text
Electronic
eBook