Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interference computing » inference computing, interference coupling, interference routing
computing programming » computer programming, computers programming
programming program » programming programmed, programming problem, programming problems
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
interference computing » inference computing, interference coupling, interference routing
computing programming » computer programming, computers programming
programming program » programming programmed, programming problem, programming problems
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
1
Published 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”View full text
Electronic
eBook
2
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”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 2007
Table of Contents:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... of Assembly Code -- The PER Model of Abstract Non-interference -- A Relational Abstraction for Functions...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... -- Biological Systems as Reactive Systems -- Mobile Agents Computing: Security Issues and Algorithmic Solutions...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“...-core Processors -- Assessing Software Interference Management When Modifying Safety-Related Software...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Construction Model for Ubiquitous Computing Devices -- Reuse and Platforms -- A Framework for Patterns in Gaia...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... in Biochemically Reacting Systems -- An Approximate Execution of Rule-Based Multi-level Models -- Computing...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... -- Minimum CDS in Multihop Wireless Networks with Disparate Communication Ranges -- Minimum Edge Interference...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Computing; J.Kim, et al -- An Efficient Algorithm for High Utility Sequential Pattern Mining; J.-Z. Wang, et...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... -- Improved Algorithms for Computing Minmax Regret 1-Sink and 2-Sink on Path Network -- Approximate...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... of Novel Stochastic Methods of Function Recovery -- Automatic Face Analysis System Based on Face...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... -- Computation through Neuronal Oscillations -- Local properties, Growth and Transport of Entanglement...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... -- Process Dependencies and Process Interference Rules for Analyzing the Impact of Failure in a Service...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“.... Cell-to-cell Communication in the Tip Growth of Mycelial Fungi -- 7. Programmed Cell Death...”View full text
Electronic
eBook