Filtry
Výsledek výzkumu
Framework for Static Analysis of PHP Applications
IN - Informatika
- 2015 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Výsledek výzkumu
Scaling Type-Based Points-to Analysis with Saturation
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Výsledek výzkumu
Railway Buffer Stops Planning
Transport engineering
- 2018 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Výsledek výzkumu
Framework for Static Analysis of PHP Applications (Artifact)
JC - Počítačový hardware a software
- 2015 •
- R •
- Odkaz
Rok uplatnění
R - Software
Výsledek na webu
Výsledek výzkumu
On Security Analysis of PHP Web Applications
IN - Informatika
- 2012 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Výsledek výzkumu
Data-flow Analysis of Programs with Associative Arrays
IN - Informatika
- 2014 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Výsledek výzkumu
Substituting a conventional ram frame with a sandwich structure
Mechanical engineering
- 2018 •
- D
Rok uplatnění
D - Stať ve sborníku
Výsledek výzkumu
Fast Error Detection with Hybrid Analyses of Future Accesses
IN - Informatika
- 2016 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Výsledek výzkumu
Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information
IN - Informatika
- 2016 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 z 46 265