Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program realization » program organization, program validation, program radiation
function computing » education computing, generation computing
realization https » organization https, rehabilitation https, globalization https
https function » its function, sites function, ups function
program realization » program organization, program validation, program radiation
function computing » education computing, generation computing
realization https » organization https, rehabilitation https, globalization https
https function » its function, sites function, ups function
1
Reversible Computation Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers /
Published 2012
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
2
Published 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”View full text
Electronic
eBook
3
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... Reversible Abstract Machines -- Synthesizing Loops for Program Inversion -- Frugal Encoding in Reversible...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”View full text
Electronic
eBook
7
Table of Contents:
“... Programming Languages -- Concurrent Constraint Functional Programming with CCFL -- A Generic Framework...”
View full text
View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... and Maintenance of Mouse Epiblast Stem Cells -- Functional Assays for Hematopoietic Stem Cell Self-Renewal...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Approach and Case Study -- A Concept for a Safe Realization of a State Machine in Embedded Automotive...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... -- Realizability of Dynamic MSC Languages -- The max quasi-independent set Problem -- Equilibria in Quantitative...”View full text
Electronic
eBook
13
Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia...
Published 2013
Table of Contents:
“... Realizability Problems -- Potential Functions in Strategic Games -- The Probabilistic Min Dominating Set Problem...”View full text
Electronic
eBook
14
Table of Contents:
“... Functionals -- Sequentially Realizable Functionals -- Some Intensional Models -- Related and Future Work...”
View full text
View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”View full text
Electronic
eBook
16
Table of Contents:
“... Multiobjective Stochastic Programming -- Chapter 4. Multiobjective Fuzzy Random Programming -- Chapter 5...”
View full text
View full text
Electronic
eBook
17
Published 2011
Table of Contents:
“... for Sensor Networks -- An Empirical Study of Programming Performance Based on Keystroke Characteristics -- A...”View full text
Electronic
eBook
18
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
19
New Results in Dependability and Computer Systems Proceedings of the 8th International Conference...
Published 2013
Table of Contents:
“... in mastering the value function of security measures -- Reduction of computational cost in mutation testing...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”View full text
Electronic
eBook