Search Results - program reactive programs https array https

1

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

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

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

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

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

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

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Published 2012

Table of Contents: “...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...”
View full text

Electronic eBook

5

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

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

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Published 2010

Table of Contents: “... -- Steerable Distributed Large-Aperture Audio Array Using Low-Power Wireless Acoustic Sensor Nodes...”
View full text

Electronic eBook

7

Molecular Toxicology Protocols

Published 2005

Table of Contents: “... Synthesis -- Analysis of DNA Repair Using Transfection-Based Host Cell Reactivation -- An Immunoassay...”
View full text

Electronic eBook

8

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

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

Handbook of Signal Processing Systems

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

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Published 2015

Table of Contents: “... Theory -- Wind Farm Reactive Power Compensation Capacity Configuration -- Direction of Arrival Estimation...”
View full text

Electronic eBook

11

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

Published 2015

Table of Contents: “... Cheating -- Application of a Feed-forward Control Structure -- Reactive Planning to Compose Learning Routes...”
View full text

Electronic eBook

12

10H‐3,6‐Diazaphenothiazines triggered the mitochondrial‐dependent and cell death receptor‐dependent apoptosis pathways and further increased the chemosensitivity of MCF‐7 breast ca...

by Ren, Guanghui, Hao, Xiaoyan, Yang, Shuyi, Chen, Jun, Qiu, Guobin, Ang, Kok Pian, Mohd Tamrin, Mohd Islahuddin
Published 2020

“... potent toward cancer cells. Increase in the levels of reactive oxygen species results in polarization...”
View full text

Article

Narrow Search