Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
programs reactive » programs relative, programs active, programs adaptive
reactive programs » practice programs, reactive programming, interactive programs
https » http
programs reactive » programs relative, programs active, programs adaptive
reactive programs » practice programs, reactive programming, interactive programs
https » http
1
Pubblicazione 2006
Sommario:
“... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”Testo
Elettronico
eBook
2
Pubblicazione 2006
Sommario:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”Testo
Elettronico
eBook
3
Pubblicazione 2015
Sommario:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”Testo
Elettronico
eBook
4
Pubblicazione 2012
Sommario:
“...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...”Testo
Elettronico
eBook
5
Pubblicazione 2007
Sommario:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Testo
Elettronico
eBook
6
Pubblicazione 2010
Sommario:
“... -- Steerable Distributed Large-Aperture Audio Array Using Low-Power Wireless Acoustic Sensor Nodes...”Testo
Elettronico
eBook
7
Pubblicazione 2005
Sommario:
“... Synthesis -- Analysis of DNA Repair Using Transfection-Based Host Cell Reactivation -- An Immunoassay...”Testo
Elettronico
eBook
8
Pubblicazione 2013
Sommario:
“... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...”Testo
Elettronico
eBook
9
Pubblicazione 2010
Sommario:
“... Reconfigurable Array Architectures -- Multi-core Systems on Chip -- DSP Systems using Three-Dimensional (3D...”Testo
Elettronico
eBook
10
Pubblicazione 2015
Sommario:
“... Theory -- Wind Farm Reactive Power Compensation Capacity Configuration -- Direction of Arrival Estimation...”Testo
Elettronico
eBook
11
Pubblicazione 2015
Sommario:
“... Cheating -- Application of a Feed-forward Control Structure -- Reactive Planning to Compose Learning Routes...”Testo
Elettronico
eBook
12
di Ren, Guanghui, Hao, Xiaoyan, Yang, Shuyi, Chen, Jun, Qiu, Guobin, Ang, Kok Pian, Mohd Tamrin, Mohd Islahuddin
Pubblicazione 2020
“... potent toward cancer cells. Increase in the levels of reactive oxygen species results in polarization...”Pubblicazione 2020
Testo
Articolo