中文
相关论文

相关论文: Converting Equipment Control Software from Pascal …

200 篇论文

Newer technologies - programming languages, environments, libraries - change very rapidly. However, various internal and external constraints often prevent projects from quickly adopting to these changes. Customers may require specific…

软件工程 · 计算机科学 2024-05-14 Gábor Antal , Dávid Havas , István Siket , Árpád Beszédes , Rudolf Ferenc , József Mihalicza

Efficient parallelization of algorithms on general-purpose GPUs is essential in many areas today. However, it is a non-trivial task for software engineers to utilize GPUs to improve the performance of high-level programs in general.…

编程语言 · 计算机科学 2024-07-09 Lars Hummelgren , John Wikman , Oscar Eriksson , Philipp Haller , David Broman

Each accelerator control system has a variety of measurement devices. One of the most common types of instrument interfaces used for their control is a serial (RS-232) bus. It is inexpensive and adequate for relatively simple measurement…

仪器与探测器 · 物理学 2014-11-18 P. Chevtsov , S. Schaffner

R is a robust open-source programming language mainly used for statistical computing . Many areas of statistical research are experiencing rapid growth in the size of data sets. Methodological advances drive increased use of simulations. A…

编程语言 · 计算机科学 2019-04-10 Rahim K. Charania

The C language is getting more and more popular as a design and verification language (DVL). SystemC, ParC [1] and Cx [2] are based on C. C-models of the design and verification environment can also be generated from new DVLs (e.g. Chisel…

硬件体系结构 · 计算机科学 2018-07-17 Tobias Strauch

Converting a large C++ code base (800k lines of code) into Java alone is challenging. Changing the architecture from a monolith into an application adhering to the Java application server standard and to run it on WildFly is a different…

密码学与安全 · 计算机科学 2026-03-10 Andre Vehreschild , Lexi Pimenidis

Testing is one of the most indispensable tasks in software engineering. The role of testing in software development has grown significantly because testing is able to reveal defects in the code in an early stage of development. Many unit…

软件工程 · 计算机科学 2010-12-07 Norbert Pataki

It is becoming increasingly clear that, if a useful device for quantum computation will ever be built, it will be embodied by a classical computing machine with control over a truly quantum subsystem, this apparatus performing a mixture of…

编程语言 · 计算机科学 2009-11-07 S. Bettelli , L. Serafini , T. Calarco

In computer science, a preprocessor (or macro processor) is a tool that programatically alters its input, typically on the basis of inline annotations, to produce data that serves as input for another program. Preprocessors are used in…

编程语言 · 计算机科学 2020-08-04 Tristan Miller , Denis Auroux

Quantum computing vendors are beginning to open up application programming interfaces for direct pulse-level quantum control. With this, programmers can begin to describe quantum kernels of execution via sequences of arbitrary pulse shapes.…

量子物理 · 物理学 2020-06-05 Thien Nguyen , Anthony Santana , Alexander McCaskey

We propose a conceptual integration of deductive program verification into existing user interfaces for software debugging. This integration is well-represented in the "Debug Adapter Protocol", a widely-used and generic technology to…

计算机科学中的逻辑 · 计算机科学 2021-08-09 Gidon Ernst , Johannes Blau , Toby Murray

Among the programming languages for Programmable Logic Controllers (PLCs), Structured Text (ST) is widely adopted for industrial automation due to its expressiveness and flexibility. However, major vendors implement ST with proprietary…

软件工程 · 计算机科学 2025-08-05 Donghao Yang , Aolang Wu , Tianyi Zhang , Li Zhang , Fang Liu , Xiaoli Lian , Yuming Ren , Jiaji Tian , Xiaoyin Che

Generation of pseudo-code descriptions of legacy source code for software maintenance is a manually intensive task. Recent encoder-decoder language models have shown promise for automating pseudo-code generation for high resource…

The reuse of code fragments by copying and pasting is widely practiced in software development and results in code clones. Cloning is considered an anti-pattern as it negatively affects program correctness and increases maintenance efforts.…

软件工程 · 计算机科学 2018-06-26 Hannes Thaller , Rudolf Ramler , Josef Pichler , Alexander Egyed

GPUs and other accelerators are popular devices for accelerating compute-intensive, parallelizable applications. However, programming these devices is a difficult task. Writing efficient device code is challenging, and is typically done in…

编程语言 · 计算机科学 2018-10-23 Tim Besard , Christophe Foket , Bjorn De Sutter

In the control system of the JAERI-KEK joint project (High Intensity Proton Accelerator Facility), it is planned to employ network-based controllers such as PLC's and measurement stations instead of using other field control networks, since…

加速器物理 · 物理学 2007-05-23 K. Furukawa , J. Chiba , N. Kamikubota , H. Nakagawa

The GCC free compiler is a very large software, compiling source in several languages for many targets on various systems. It can be extended by plugins, which may take advantage of its power to provide extra specific functionality…

编程语言 · 计算机科学 2011-09-06 Basile Starynkevitch

Development of scientific and engineering software is usually different and could be more challenging than the development of conventional enterprise software. The authors were involved in a technology-transfer project between academia and…

软件工程 · 计算机科学 2020-03-03 Vahid Garousi , Ehsan Abbasi , Bedir Tekinerdogan

Ladder Logics is a programming language standardized in IEC 61131-3 and widely used for programming industrial Programmable Logic Controllers (PLC). A PLC program consists of inputs (whose values are given at runtime by factory sensors),…

软件工程 · 计算机科学 2019-12-24 Denis Cousineau , David Mentré , Hiroaki Inoue

From the implementation of the Grafcet programming language we obtain in this document the different ways of applying this method, the advantages it obtains with respect to efficiency, cost, quality and operational and time optimization.…

系统与控制 · 电气工程与系统科学 2024-06-04 Andres Guevara , Juan Achury , Juan Sierra , Sebastian Benavides