Showing 101 - 120 of 233

101

Monotonicity in shared-memory program verification
Kaiser, Alexander

005.14 Program development and...
Dissertation/ Thesis
102

This result is not available to guest users.

103

This result is not available to guest users.

104

This result is not available to guest users.

105

Algorithmic Prompt Engineering: Improving Accuracy and Diversity in LLM-Based Code Synthesis
I. V. Shashikala ; T. Aditya Sai Srinivas ; M. Bhavya Sree ; et al.

Prompt engineering, code...
Academic journal
106

Automated model-based spreadsheet debugging
Schmitz, Thomas ; Jannach, Dietmar ; Wotawa, Franz

Modellbasiertes Schließe... Model-based diagnosis Spreadsheets Tabellenkalkulation Conflicts Parallelisierung
Dissertation/ Thesis
107

Automated control system phlegmatization of explosions of dust-methane-air mixture in the mine atmosphere
Nikolay ABRAMKIN ; Pavel MANSUROV ; Alexandra KUZINA
Sustainable Development of Mountain Territories. 14:453-460

Academic journal
109

Microclimate control system integrating into the automated enterprise management system
Information systems, mechanics and control; No. 20 (2019); 78-87
Информационные системы, механика и управление; № 20 (2019); 78-87
Інформаційні системи, механіка та керування; № 20 (2019); 78-87

система автоматичного ке... математична модель... математическая модель... интегрированная автомати... automatic control system state space
Academic journal
110

Automated feedback generation in introductory programming education : a dynamic program analysis approach
Radi��ek, Ivan

education program repair specification 4. Education MOOC dynamic program analysis
Dissertation/ Thesis
111

Diseño y Desarrollo de una Técnica y Sistema de Especialización Incremental en Maude
Galán Pascual, Daniel ; Alpuente Frasnedo, María ; Sapiña Sanchis, Julia ; et al.
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
Universitat Politècnica de València (UPV)

Maude Métodos formales Comprobación de modelos Model-checking Optimización automática... Partial evaluation
Dissertation/ Thesis
112

Improving the productivity of high-level synthesis by advancing reuseability and verifiability
Yang, Liwei ; Douglas Leslie Maskell ; School of Computer Science and Engineering ; et al.

Engineering::Computer sc...
Dissertation/ Thesis
113

Interactive Runtime Verification
Jakse, Raphaël ; STAR, ABES

Monitoring Propriété [INFO.INFO-MS] Computer... Débogage Property Debugging
Dissertation/ Thesis
114

Secure Python Code Manager: A Tool for Secure Code Sharing and Protection in Python Programming
Izosimov, Pavel

Alpha Beta Network code protection cloud platform secure code sharing code security python obfuscator
116

Monotonicity in shared-memory program verification
Kaiser, A ; Kroening, D

Theory and automated ver... Scalable systems Program development and... Computer science (mathem...
Dissertation/ Thesis
117

Journal of Student-Scientists' Research, Vol. 3 (2021)
Journal Of Student-Scientists' Research

13. Climate action 3. Good health
118

Testing in Very Large Software Projects
Bach, Thomas

ddc-000 000 Generalities, Scienc... 004 Data processing Comp... ddc-004
Dissertation/ Thesis
119

A Pragmatic Survey of Automated Debugging
Mireille Ducassé ; The Pennsylvania State University CiteSeerX Archives
ftp://ftp.irisa.fr/local/lande/md-aadebug93.ps.gz

Academic journal
120

Causality Checking of Safety-Critical Software and Systems
Leitner-Fischer, Florian

causality, model checkin...
Dissertation/ Thesis

Filter