• Suche: "C programming language"

Treffer 1 - 20 von 1.838

1

Evaluation of the Choice of LLM in a Multi-Agent Solution for GUI-Test Generation
Tomic, Stevan ; Alégroth, Emil ; Isaac, Maycel
2025 IEEE Conference on Software Testing, Verification and Validation (ICST). :487-497

Software testings Automated Testing Model checking Test generations Programvaruteknik AI-Assisted Software Tes... …
Fachzeitschrift
Zu den Favoriten
2

Static Analysis of Endian Portability by Abstract Interpretation
Delmas, David ; Ouadjaout, Abdelraouf ; Miné, Antoine ; et al.
28th Static Analysis Symposium (SAS 2021). :102-123

Chicago, Illinois, Unite... Formal Methods Abstract Interpretation Abstract Domains Static Analysis C Programming Language …
Konferenz
Zu den Favoriten
3

Direct construction of sparse suffix arrays with Libsais
Simon Van de Vyver ; Tibo Vande Moortele ; Peter Dawyndt ; et al.
BMC Bioinformatics, Vol 26, Iss 1, Pp 1-8 (2025)

Bioinformatics Sparse suffix array cons... Libsais String matching Text encoding C programming language …
Fachzeitschrift
Zu den Favoriten
4

Tartare: Automatic Generation of C Pointer Statements and Feedback
Brieven, Géraldine ; Baum, Valentin ; Donnet, Benoît
ACM 26th Australasian Computing Education Conference (ACE) (2024-01); ACM 26th Australasian Computing Education Conference (ACE), Sydney, Australia [AU], du 29 janvier 2024 au 2 février 2024

C programming language pointers statement generation Tartare Engineering, computing &... Computer science …
Konferenz
Zu den Favoriten
5

Analysis of the effectiveness of using specialized computing modules and libraries when implementing digital signal processing algorithms on the platform SoC
Bulletin of the National Technical University "KhPI" A series of "Information and Modeling"; Vol. 1 No. 1 (13) (2025): Bulletin of the National Technical University "KhPI" A series of "Information and Modeling"; 112-128
Вестник Национального технического университета "ХПИ". Серия: Информатика и моделирование; Том 1 № 1 (13) (2025): Вісник Національного технічного університету "Харківський політехнічний інститут"; 112-128
Вісник Національного технічного університету "ХПІ". Серія: Iнформатика i моделювання; Том 1 № 1 (13) (2025): Вісник Національного технічного університету "Харківський політехнічний інститут"; 112-128

вбудоване програмне забе... пам'ять швидке перетворення Фур'... вбудовані системи... programmable logic швидкодія …
Fachzeitschrift
Zu den Favoriten
6

Implementation Of The Use Of The C Programming Language in The Ubuntu Linux Operating System
Samsuriah Agus
Inspiration, Vol 14, Iss 1, Pp 54-62 (2024)

technology development comparative performance ubuntu linux c programming language Electronic computers. Co... Information technology …
Fachzeitschrift
Zu den Favoriten
7

C-language floating-point proofs layered with VST and Flocq
Appel, Andrew, W. ; Bertot, Yves ; Princeton University ; et al.
Journal of Formalized Reasoning. 13(1):1-16

Floating point numbers C programming language [INFO.INFO-LO]Computer S... Logic in Computer Scienc... [INFO.INFO-PL]Computer S... Programming Languages [c... …
Zeitschrift
Zu den Favoriten
8

Im-C - A Memory-Safe C Interpreter Providing a Better Learning, Testing, and Debugging Experience
Kunii, Masaki ; Piumarta, Ian ; Masaki Kunii and Ian Piumarta

C programming Language debugging Tools memory Safety ddc:004
Konferenz
Zu den Favoriten
9

Towards Flexibility in Future Industrial Manufacturing: A Global Framework for Self-organization of Production Cells
Azaiez, S. ; Boc, M. ; Cudennec, L. ; et al.
7th International Conference on Ambient Systems. :1268-1273

Madrid, Spain Manufacture Reconfigurable hardware Data management system High level description Industrial manufacturing …
Konferenz
Zu den Favoriten
10

State space reduction strategies for model checking concurrent C programs
Methni, A. ; Ben Hedia, B. ; Lemerre, M. ; et al.
9th Workshop on Verification and Evaluation of Computer and Communication Systems. :65-75

Bucharest, Romania Model checking tools Reduction techniques State-space explosion State-space reduction TLA …
Konferenz
Zu den Favoriten
11

A case study on formal verification of the anaxagoros hypervisor paging system with frama-C
Blanchard, Allan ; Kosmatov, N. ; Lemerre, M. ; et al.
FMICS 2015 - Formal Methods for Industrial Critical Systems. :15-30

Oslo, Norway specification C (programming language) Artificial intelligence Formal methods Interactive proofs …
Konferenz
Zu den Favoriten
12

Towards automatic Maude specifications generation from C functions
Fateh Boutekkouk
Journal of Innovation Information Technology and Application, Vol 5, Iss 1, Pp 83-96 (2023)

Rewriting Information technology 0102 computer and inform... 02 engineering and techn... Epistemology 01 natural sciences …
Fachzeitschrift
Zu den Favoriten
13

Automated design of embedded digital signal processing systems on SOC platform
INNOVATIVE TECHNOLOGIES AND SCIENTIFIC SOLUTIONS FOR INDUSTRIES; No. 1 (27) (2024): Innovative Technologies and Scientific Solutions for Industries; 192-203
Современное состояние научных исследований и технологий в промышленности; № 1 (27) (2024): Сучасний стан наукових досліджень та технологій в промисловості; 192-203
СУЧАСНИЙ СТАН НАУКОВИХ ДОСЛІДЖЕНЬ ТА ТЕХНОЛОГІЙ В ПРОМИСЛОВОСТІ; № 1 (27) (2024): Сучасний стан наукових досліджень та технологій в промисловості; 192-203

вбудовані системи... системи на кристалі... FPGA мова програмування С... алгоритми цифрового обро... аудіосигнали …
Fachzeitschrift
Zu den Favoriten
14

Razvoj IoT sustava za prijenos senzorskih podataka na platformi ESP32
Valić, Valentina ; Grgić, Sonja

senzori Grafana serial monitor IoT FreeRTOS mrežna komunikacija …
Dissertation
Zu den Favoriten
15

Ostvarenje protokola jezičnog poslužitelja za programski jezik C
Kasunić, Lovro ; Vladimir, Klemo

language server protokol jezičnog posluž... JSON-RPC protokol language server protocol TECHNICAL SCIENCES. Comp... TEHNIČKE ZNANOSTI. Račun... …
Dissertation
Zu den Favoriten
16

An OpenMP backend for the Σc streaming language
Louise, S. ; Département d'Architectures, Conception et Logiciels Embarqués-LIST (DACLE-LIST) ; Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)) ; et al.
Procedia Computer Science. 108:1073-1082

Application programming... Application programs Benchmarking Computer hardware descri... Data flow analysis Data transfer …
Zeitschrift
Zu den Favoriten
17

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
Bartocci, E. ; Falcone, Y. ; Bonakdarpour, B. ; et al.
International Journal on Software Tools for Technology Transfer. 21:31-70

Canada Toronto Run-time verification Participating teams Online monitoring Off-line monitoring …
Zeitschrift
Zu den Favoriten
18

RAFT/MADIX emulsion copolymerization of vinyl acetate and N-vinylcaprolactam: towards waterborne physically crosslinked thermoresponsive particles
Etchenausia, Laura ; Khoukh, Abdel ; Deniau-Lejeune, Elise ; et al.
Polymer Chemistry. 8(14):2244-2256

Temperature Self assembly Hydrophobicity Emulsification Biocompatibility C (programming language) …
Zeitschrift
Zu den Favoriten
19

C source-to-source compiler enhancement from within
Amélioration source-à-source de compilateurs C
Gustedt, Jens ; Compilation pour les Architectures MUlti-coeurS (CAMUS) ; Centre Inria de l'Université de Lorraine ; et al.
[Research Report] RR-9375, INRIA. 2020

C programming language source-to-source compila... code unrolling modularity of programs [INFO.INFO-PL]Computer S... Programming Languages [c...
Report
Zu den Favoriten
20

MEOS: an open source library for mobility data management
Zimanyi, Esteban ; Machado Garcez Duarte, Mariana ; Diví i Cuesta, Víctor
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Cloud-computing Open-source Traffic management Data visualization Batch data processing Computing environments …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter