Results 361 to 370 of about 37,485,858 (384)

Programmed Analysis

1998
openaire   +2 more sources

Program Analysis

2014
Tobias Nipkow, Gerwin Klein
openaire   +1 more source

PROGRAM ANALYSIS

JAMA, 1961
openaire   +1 more source

Automated program analysis

Software ist zunehmend in unseren Alltag integriert und stellt von Unterhaltung bis zu kritischer Infrastruktur alle möglichen Dienste und Anwendungen bereit, enthält dabei aber oft Sicherheitslücken. Unsere beste Chance solche zu finden ist die Automatisierung von Programmanalysen.
openaire   +1 more source

Constraint normalization and parameterized caching for quantitative program analysis

ESEC/SIGSOFT FSE, 2017
Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydin, T. Bultan   +4 more
semanticscholar   +1 more source

A discriminant analysis program

Journal of Heredity, 1987
openaire   +2 more sources

Program Analysis of Cryptographic Implementations for Security

IEEE Cybersecurity Development, 2017
Sazzadur Rahaman, D. Yao
semanticscholar   +1 more source

MOLMOL: a program for display and analysis of macromolecular structures.

Journal of Molecular Graphics, 1996
Reto Koradi, M. Billeter, K. Wüthrich
semanticscholar   +1 more source

Chemical analysis program

Journal of Chemical Education, 1978
Joel S. Miller, Stanley Kirschner, Stanley H. Kravtiz, Paul Ostrowski, Paul A. Nigray   +4 more
openaire   +1 more source

Automatic Synthesis of NF Models by Program Analysis

ACM Workshop on Hot Topics in Networks, 2016
Wenfei Wu, Y. Zhang, S. Banerjee
semanticscholar   +1 more source