Search alternatives:
reactive programs » practice programs, reactive programming, interactive programs
program reactive » programs reactive, programs relative, program practice
https » http
1
Published 2006
Table of Contents: ... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... -- Steerable Distributed Large-Aperture Audio Array Using Low-Power Wireless Acoustic Sensor Nodes...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Synthesis -- Analysis of DNA Repair Using Transfection-Based Host Cell Reactivation -- An Immunoassay...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Reconfigurable Array Architectures -- Multi-core Systems on Chip -- DSP Systems using Three-Dimensional (3D...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... Theory -- Wind Farm Reactive Power Compensation Capacity Configuration -- Direction of Arrival Estimation...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... Cheating -- Application of a Feed-forward Control Structure -- Reactive Planning to Compose Learning Routes...
View full text
Electronic eBook