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