中文
相关论文

相关论文: A Prototype of the UAL 2.0 Application Toolkit

200 篇论文

Computer architecture simulation is essential for evaluating new designs without the need for costly tapeout. The community has developed dozens of valuable simulators that have enabled significant architectural advances. However, using and…

分布式、并行与集群计算 · 计算机科学 2026-05-01 Sabila Al Jannat , Ying Li , Mengyang He , Xuzhong Wang , Huizhi Zhao , Jingxiang Sun , Daoxuan Xu , Enze Xu , Yifan Sun

Developing an efficient method to accelerate the speed of molecular dynamics is a central theme in the field of molecular simulation. One category among the methods are collective-variable-based methods, which rely on predefined collective…

化学物理 · 物理学 2024-08-27 Jiahao Fan , Yanze Wang , Dongdong Wang , Linfeng Zhang

Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industrial standard modeling language, used more and more in real-time…

软件工程 · 计算机科学 2011-11-09 He Hai , Zhong Yi-Fang , Cai Chi-Lan

XAL is a high level accelerator application framework originally developed by the Spallation Neutron Source (SNS), Oak Ridge National Laboratory. It has advanced design concept and adopted by many international accelerator laboratories.…

加速器物理 · 物理学 2013-09-18 Wang Peng-Fei , Cao Jian-She , Ye Qiang

Many useful tasks in data science and machine learning applications can be written as simple variations of matrix multiplication. However, users have difficulty performing such tasks as existing matrix/vector libraries support only a…

编程语言 · 计算机科学 2023-05-17 Junyoung Kim , Kenneth Ross , Eric Sedlar , Lukas Stadler

The authors' "metatools" are a collection of tools for generic programming. This includes generating Java sources from mathematically well-founded specifications, as well as the creation of strictly typed document object models for XML…

软件工程 · 计算机科学 2011-11-22 Markus Lepper , Baltasar Trancón y Widemann

The design productivity gap requires more efficient design methods. Software systems have faced the same challenge and seem to have mastered it with the introduction of more abstract design methods. The UML has become the standard for…

软件工程 · 计算机科学 2011-11-09 Tim Schattkowsky

Quantum computing has the potential to revolutionize multiple fields by solving complex problems that can not be solved in reasonable time with current classical computers. Nevertheless, the development of quantum computers is still in its…

Machine learning model deployment for training and execution has been an important topic for industry and academic research in the last decade. Much of the attention has been focused on developing specific toolchains to support acceleration…

编程语言 · 计算机科学 2022-05-31 Hsin-I Cindy Liu , Marius Brehler , Mahesh Ravishankar , Nicolas Vasilache , Ben Vanik , Stella Laurenzo

The ever increasing demands placed upon machine performance have resulted in the need for more comprehensive particle accelerator modeling. Computer simulations are key to the success of particle accelerators. Many aspects of particle…

In this paper, we developed a generalized simulation framework for the evaluation of electric vertical takeoff and landing vehicles (eVTOLs) in the context of Unmanned Aircraft Systems (UAS) Traffic Management (UTM) and under the concept of…

机器人学 · 计算机科学 2021-11-11 Mrinmoy Sarkar , Xuyang Yan , Abenezer Girma , Abdollah Homaifar

As quantum computing hardware systems continue to advance, the research and development of performant, scalable, and extensible software architectures, languages, models, and compilers is equally as important in order to bring this novel…

量子物理 · 物理学 2024-06-06 Daniel Claudino , Alexander J. McCaskey , Dmitry I. Lyakh

Approximate computing is an emerging paradigm for developing highly energy-efficient computing systems such as various accelerators. In the literature, many libraries of elementary approximate circuits have already been proposed to simplify…

分布式、并行与集群计算 · 计算机科学 2019-06-13 Vojtech Mrazek , Muhammad Abdullah Hanif , Zdenek Vasicek , Lukas Sekanina , Muhammad Shafique

This paper presents the current state of an ongoing research project to improve the performance of the OCaml byte-code interpreter using Just-In-Time native code generation. Our JIT engine OCamlJIT2 currently runs on x86-64 processors,…

编程语言 · 计算机科学 2011-09-28 Benedikt Meurer

The rapid advancement of machine learning (ML) technologies has driven the development of specialized hardware accelerators designed to facilitate more efficient model training. This paper introduces the CARAML benchmark suite, which is…

硬件体系结构 · 计算机科学 2025-03-14 Chelsea Maria John , Stepan Nassyr , Carolin Penke , Andreas Herten

Cloud computing is an emerging platform of service computing designed for swift and dynamic delivery of assured computing resources. Cloud computing provide Service-Level Agreements (SLAs) for guaranteed uptime availability for enabling…

软件工程 · 计算机科学 2010-04-13 T. Vengattaraman , P. Dhavachelvan , R. Baskaran

Recently, a distributed middleware application called contract automata runtime environment (CARE) has been introduced to realise service applications specified using a dialect of finite-state automata. In this paper, we detail the formal…

软件工程 · 计算机科学 2026-03-11 Davide Basile

ARCHYTAS aims to design and evaluate non-conventional hardware accelerators, in particular, optoelectronic, volatile and non-volatile processing-in-memory, and neuromorphic, to tackle the power, efficiency, and scalability bottlenecks of AI…

This paper reports on Matlab Channel Access (MCA) Toolbox Matlab [1] interface to Epics Channel Access (CA) client library. We are developing the toolbox for SPEAR3 accelerator controls but it is of general use for accelerator and…

加速器物理 · 物理学 2007-05-23 Andrei Terebilo

This paper consists of three parts. The first part provides a unified programming model for heterogeneous computing with CPU and accelerator (like GPU, FPGA, Google TPU, Atos QPU, and more) technologies. To some extent, this new programming…

分布式、并行与集群计算 · 计算机科学 2024-05-31 Yuqing Xiong