中文
相关论文

相关论文: Nmag micromagnetic simulation tool - software engi…

200 篇论文

Industrial robots typically require very structured and predictable working environments, and explicit programming, in order to perform well. Therefore, expensive and time-consuming engineering work is a major obstruction when mediating…

机器人学 · 计算机科学 2019-05-28 Martin Karlsson

Consumer applications are becoming increasingly smarter and most of them have to run on device ecosystems. Potential benefits are for example enabling cross-device interaction and seamless user experiences. Essential for today's smart…

人机交互 · 计算机科学 2021-03-30 Muhammad Mehran Sunny , Moritz Berghofer , Ilhan Aslan

Computational science relies on scientific software as its primary instrument for scientific discovery. Therefore, similar to the use of other types of scientific instruments, correct software and the correct operation of the software is…

软件工程 · 计算机科学 2024-05-20 Akash Dhruv , Rajeev Jain , Jared O'Neal , Klaus Weide , Anshu Dubey

Rapid technological progress in computer sciences finds solutions and at the same time creates ever more complex requirements. Due to an evolving complexity todays programming languages provide powerful frameworks which offer standard…

人机交互 · 计算机科学 2019-05-17 Igor Ivkic , Alexander Wöhrer , Markus Tauber

Due to the complex specifications of current electronic systems, design decisions need to be explored automatically. However, the exploration process is a complex task given the plethora of design choices such as the selection of…

硬件体系结构 · 计算机科学 2023-06-22 Sergio Vinagrero Gutiérrez , Giorgio Di Natale , Elena-Ioana Vatajelu

Debugging is often a challenging and infuriating experience for secondary school students learning their first text-based programming language. Many students resort to ineffective debugging strategies, making success with solving errors…

人机交互 · 计算机科学 2025-08-27 Laurie Gale , Sue Sentance

Quantum simulation is a leading candidate for demonstrating practical quantum advantage over classical computation, as it is believed to provide exponentially more compute power than any classical system. It offers new means of studying the…

量子物理 · 物理学 2026-01-23 Maja Franz , Lukas Schmidbauer , Joshua Ammermann , Ina Schaefer , Wolfgang Mauerer

Scientific software is one of the key elements for reproducible research. However, classic publications and related scientific software are typically not (sufficiently) linked, and it lacks tools to jointly explore these artefacts. In this…

数字图书馆 · 计算机科学 2018-06-21 Anett Hoppe , Jascha Hagen , Helge Holzmann , Günter Kniesel , Ralph Ewerth

Background: Despite the potential benefits of software modelling, developers have shown a considerable reluctance towards its application. There is substantial existing research studying industrial use and technical challenges of modelling.…

软件工程 · 计算机科学 2023-01-05 Shalini Chakraborty , Grischa Liebel

Recent advancements in natural language processing (NLP) have enabled the development of automated tools that support various domains, including software engineering. However, while NLP and artificial intelligence (AI) research has…

软件工程 · 计算机科学 2025-08-25 Sonia Nicoletti , Paolo Ciancarini

In this paper we discuss the theory used in the design of an open source lightmorphic signatures analysis toolkit (LSAT). In addition to providing a core functionality, the software package enables specific optimizations with its modular…

机器学习 · 计算机科学 2023-01-03 D. Damian

Digital Engineering currently relies on costly and often bespoke integration of disparate software products to assemble the authoritative source of truth of the system-of-interest. Tools not originally designed to work together become an…

系统与控制 · 电气工程与系统科学 2024-01-05 James S. Wheaton , Daniel R. Herber

Emerging two terminal nanoscale memory devices, known as memristors, have over the past decade demonstrated great potential for implementing energy efficient neuro-inspired computing architectures. As a result, a wide-range of technologies…

新兴技术 · 计算机科学 2022-07-29 Jinqi Huang , Spyros Stathopoulos , Alex Serb , Themis Prodromakis

As computer systems become more and more complex, software and tools lag more and more behind. This is especially true for scientific software that often demands high performance, and thus needs to take advantage of parallelisms, memory…

计算机与社会 · 计算机科学 2013-09-11 Anne C. Elster

Monads are a popular tool for the working functional programmer to structure effectful computations. This paper presents polymonads, a generalization of monads. Polymonads give the familiar monadic bind the more general type forall a,b. L a…

编程语言 · 计算机科学 2014-06-10 Michael Hicks , Gavin Bierman , Nataliya Guts , Daan Leijen , Nikhil Swamy

Micromagnetics has made significant strides, particularly due to its wide-ranging applications in magnetic storage design. Numerical simulation is a cornerstone of micromagnetics research, relying on first-principle rules to compute the…

机器学习 · 计算机科学 2024-10-22 Yunqi Cai , Jiangnan Li , Dong Wang

Model-driven engineering (MDE) simplifies software development through abstraction, yet challenges such as time constraints, incomplete domain understanding, and adherence to syntactic constraints hinder the design process. This paper…

软件工程 · 计算机科学 2024-10-17 Meriem Ben Chaaben , Lola Burgueño , Istvan David , Houari Sahraoui

With the large diversity of platforms and devices used by students, web applications increasingly suggest themselves as the solution of choice. Developing adequate educational programming environments in the browser, however, remains a…

编程语言 · 计算机科学 2024-10-10 Clemens Bachmann , Alexandra Maximova , Tobias Kohn , Dennis Komm

Models can be built directly from input and output data trough a process known as system identification. The Nonlinear AutoRegressive with eXogenous inputs (NARMAX) models are among the most used mathematical representations in the area and…

系统与控制 · 电气工程与系统科学 2022-11-11 Henrique Carvalho de Castro , Bruno Henrique Groenner Barbosa

We review various changes made in recent years to the software development process of the LAMMPS simulation software package and the software itself. We discuss how those changes have impacted the effort and workflow required to develop and…

软件工程 · 计算机科学 2025-05-13 Axel Kohlmeyer , Richard Berger