The Usage of Program Generators in the Development of Javafx Applications

Συγγραφείς: Vukmirov, Ivana S., Milic, Milos Z., Trujic, Ana D., Vlajic, Sinisa S.

Πηγή: 2026 30th International Conference on Information Technology (IT) Information Technology (IT), 2026 30th International Conference on. :1-4 Feb, 2026

Relation: 2026 30th International Conference on Information Technology (IT)

Solsmith: Solidity Random Program Generator for Compiler Testing

Συγγραφείς: Li, Lantian, Liu, Zhihao, Yu, Zhongxing

Θεματικοί όροι: Computer Science - Software Engineering

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.03909

Remgen: Remanufacturing a Random Program Generator for Compiler Testing

Συγγραφείς: Tu, Haoxin, Jiang, He, Li, Xiaochen, Ren, Zhilei, Zhou, Zhide, Jiang, Lingxiao

Πηγή: 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) ISSRE Software Reliability Engineering (ISSRE), 2022 IEEE 33rd International Symposium on. :529-540 Oct, 2022

Relation: 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)

An allosteric ribozyme generator and an inverse folding ribozyme generator: Two computer programs for automated computational design of oligonucleotide-sensing allosteric hammerhead ribozymes with YES Boolean logic function based on experimentally validated algorithms

Συγγραφείς: Kaloudas, Dimitrios, Penchovsky, Robert ^∗

Πηγή: In Computers in Biology and Medicine June 2022 145

Linear temporal constraints for sketch-based synthesizers.

Συγγραφείς: Galicia-Mendoza, Fernando A., Rosenblueth, David A., Solar-Lezama, Armando

Πηγή: Formal Methods in System Design; Jun2026, Vol. 68 Issue 3, p1-34, 34p

Θεματικοί όροι: Program generators (Computer programs), Computer software, Finite state machines

Harpocrates: Breaking the Silence of CPU Faults through Hardware-in-the-Loop Program Generation

Συγγραφείς: Karystinos, Nikos, Chatzopoulos, Odysseas, Fragkoulis, George-Marios, Papadimitriou, George, Gizopoulos, Dimitris, Gurumurthi, Sudhanva

Πηγή: 2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA) ISCA Computer Architecture (ISCA), 2024 ACM/IEEE 51st Annual International Symposium on. :516-531 Jun, 2024

Relation: 2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA)

Language-Agnostic Generation of Compilable Test Programs

Συγγραφείς: Kreutzer, Patrick, Kraus, Stefan, Philippsen, Michael

Πηγή: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) Software Testing, Validation and Verification (ICST), 2020 IEEE 13th International Conference on. :39-50 Oct, 2020

Relation: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)

Analyzing Efficacy of Constrained Test Program Generators - A Case Study

Συγγραφείς: Kamath, Vinayak, Rahman, Farhan, Wang, Li-C

Πηγή: 2013 14th International Workshop on Microprocessor Test and Verification Microprocessor Test and Verification (MTV), 2013 14th International Workshop on. :100-105 Dec, 2013

Relation: 2013 14th International Workshop on Microprocessor Test and Verification (MTV)

Reconfigurable Model-Based Test Program Generator for Microprocessors

Συγγραφείς: Kamkin, Alexander, Kornykhin, Eugene, Vorobyev, Dmitry

Πηγή: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on. :47-54 Mar, 2011

Relation: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

Evolving Synthetic Data Generating Programs for Text Recognition Tasks - Evolving a Diverse Population of SyntheticData Generators using Genetic Programming with Novelty Search for Robust Text Recognition Models

Συγγραφείς: Cooper, Daniel

Συνεισφορές: Vanneschi, Leonardo, RUN

Θεματικοί όροι: Deep Learning, Novelty Search, Genetic Programming, Synthetic Data, Algorithms, Computer Vision, Document Processing, Document Understanding

Περιγραφή αρχείου: application/pdf

Διαθεσιμότητα: http://hdl.handle.net/10362/114827

NGAMMA: A Monte Carlo generator for multiphoton production in e+e− annihilation

Συγγραφείς: Kardapoltsev, L.V. ^{a, b, ⁎}, Melnikova, N.A. ^a

Πηγή: In Computer Physics Communications December 2025 317

Efficient parallel compilation and profiling of quantum circuits at large scales.

Συγγραφείς: Moore, Jane, Hart, Michael, McAllister, John

Πηγή: npj Unconventional Computing; 7/21/2026, Vol. 3 Issue 1, p1-19, 19p

Θεματικοί όροι: Electric circuits, Parallel processing, Compilers (Computer programs), Quantum computing, Benchmarking (Management), Accuracy, Quantum gates, Program generators (Computer programs), Benchmark problems (Computer science), Circuit complexity

Graspg – An extension to Grasp2018 based on configuration state function generators

Συγγραφείς: Si, Ran ^a, Li, Yanting ^a, Wang, Kai ^b, Chen, Chongyang ^{a, ⁎}, Gaigalas, Gediminas ^{c, ⁎}, Godefroid, Michel ^d, Jönsson, Per ^{e, ⁎}

Πηγή: In Computer Physics Communications July 2025 312

DarkNews: A Python-based event generator for heavy neutral lepton production in neutrino-nucleus scattering

Συγγραφείς: Abdullahi, Asli M. ^a, Hoefken Zink, Jaime ^{b, c}, Hostert, Matheus ^{d, e, f, ⁎}, Massaro, Daniele ^{b, c, g}, Pascoli, Silvia ^{b, c, h}

Πηγή: In Computer Physics Communications April 2024 297

CodeSkelGen: a program skeleton generator

Συγγραφείς: Queirós, Ricardo

Συνεισφορές: REPOSITÓRIO P.PORTO

Θεματικοί όροι: Code generation, Programming languages, Annotation

Περιγραφή αρχείου: application/pdf

Διαθεσιμότητα: http://hdl.handle.net/10400.22/5104

A universal implementation of radiative effects in neutrino event generators

Συγγραφείς: Tena-Vidal, Júlia ^{a, ⁎}, Ashkenazi, Adi ^a, Weinstein, Lawrence B. ^b, Blunden, Peter ^c, Dytman, Steven ^d, Steinberg, Noah ^e

Πηγή: In Computer Physics Communications May 2025 310

SmeftFR v3 – Feynman rules generator for the Standard Model Effective Field Theory

Συγγραφείς: Dedes, A. ^a, Rosiek, J. ^{b, ⁎}, Ryczkowski, M. ^b, Suxho, K. ^a, Trifyllis, L. ^a

Πηγή: In Computer Physics Communications January 2024 294

How to Test Program Generators? A Case Study using flex

Συγγραφείς: Sampath, Prahladavaradan, Rajeev, A. C., Shashidhar, K. C., Ramesh, S.

Πηγή: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on. :80-92 Sep, 2007

Relation: Fifth IEEE International Conference on Software Engineering and Formal Methods

Software als Schlüsselfaktor in modernen SMT-Linien.

Πηγή: Productronic. 2/17/2026, Issue 1, p22-23. 2p.

Θεματικοί όροι: *Surface mount technology, *Electronics manufacturing, *Computer printers, *Automation, Program generators (Computer programs), Data conversion, Printed circuits

Εταιρία/Οντότητα: Yamaha Corp.

SIDIS-RC EvGen: A Monte-Carlo event generator of semi-inclusive deep inelastic scattering with the lowest-order QED radiative corrections

Συγγραφείς: Byer, Duane ^{a, b}, Khachatryan, Vladimir ^{a, b, ⁎}, Gao, Haiyan ^{a, b}, Akushevich, Igor ^a, Ilyichev, Alexander ^{c, d}, Peng, Chao ^e, Prokudin, Alexei ^{f, g}, Srednyak, Stan ^{a, b}, Zhao, Zhiwen ^{a, b}

Πηγή: In Computer Physics Communications June 2023 287