中文
相关论文

相关论文: Weaves: A Novel Direct Code Execution Interface fo…

200 篇论文

The advent of modern data processing has led to an increasing tendency towards interdisciplinarity, which frequently involves the importation of different technical approaches. Consequently, there is an urgent need for a unified data…

机器学习 · 计算机科学 2024-06-04 Chen Zhang , Lecheng Jia , Wei Zhang , Ning Wen

Software engineering education and training have obstacles caused by a lack of basic knowledge about a process of program execution. The article is devoted to the development of special tools that help to visualize the process. We analyze…

Model execution allows us to prototype and analyse software engineering models by stepping through their possible behaviours, using techniques like animation and simulation. On the other hand, deductive verification allows us to construct…

计算机科学中的逻辑 · 计算机科学 2024-10-31 Simon Foster , Chung-Kil Hur , Jim Woodcock

GPUs are widely used to accelerate many important classes of workloads today. However, we observe that several important emerging classes of workloads, including simulation engines for deep reinforcement learning and dynamic neural…

硬件体系结构 · 计算机科学 2024-01-24 Sankeerth Durvasula , Adrian Zhao , Raymond Kiguru , Yushi Guan , Zhonghan Chen , Nandita Vijaykumar

Context: Scientific open-source software (SciOSS) plays a foundational role in research and engineering, yet its long-term sustainability has often been overlooked and remains a significant concern. Objective: This study investigates the…

软件工程 · 计算机科学 2026-05-06 Sheikh Md. Mushfiqur Rahman , Gregory R. Watson , Nasir U. Eisty

Even though it seems that FPGAs have finally made the transition from research labs to the consumer devices' market, programming them remains challenging. Despite the improvements made by High-Level Synthesis (HLS), which removed the…

分布式、并行与集群计算 · 计算机科学 2016-09-02 Roberto Rigamonti , Baptiste Delporte , Anthony Convers , Alberto Dassatti

As modern software systems expand in scale and complexity, the challenges associated with their modeling and formulation grow increasingly intricate. Traditional approaches often fall short in effectively addressing these complexities,…

软件工程 · 计算机科学 2025-05-20 Tarik Houichime , Younes El Amrani

Reducing application runtime, scaling parallel applications to higher numbers of processes/threads, and porting applications to new hardware architectures are tasks necessary in the software development process. Therefore, developers have…

In this survey paper, we review recent work on frameworks for the high-level, portable programming of heterogeneous multi-/manycore systems (especially, GPU-based systems) using high-level constructs such as annotated user-level software…

分布式、并行与集群计算 · 计算机科学 2014-05-14 Christoph Kessler , Usman Dastgeer , Lu Li

In this paper, we present Code Shrew, a new software platform accompanied by an interactive programming course. Its aim is to teach the fundamentals of computer programming by enabling users to create their own drawings and animations. The…

计算机与社会 · 计算机科学 2018-08-09 Ludwik Trammer , Jamie Nunez

Serverless computing has emerged as a promising alternative to infrastructure- (IaaS) and platform-as-a-service (PaaS)cloud platforms for applications with ample parallelism and intermittent activity. Serverless promises greater resource…

分布式、并行与集群计算 · 计算机科学 2020-01-03 Shannon Joyner , Michael MacCoss , Christina Delimitrou , Hakim Weatherspoon

Graphic design generation demands a delicate balance between high visual fidelity and fine-grained structural editability. However, existing approaches typically bifurcate into either non-editable raster image synthesis or abstract layout…

图形学 · 计算机科学 2026-02-24 Ziyuan Liu , Shizhao Sun , Danqing Huang , Yingdong Shi , Meisheng Zhang , Ji Li , Jingsong Yu , Jiang Bian

Real-world software engineering tasks require coding agents that can operate on massive repositories, sustain long-horizon sessions, and reliably coordinate complex toolchains at test time. Existing research-grade coding agents offer…

计算与语言 · 计算机科学 2026-02-04 Sherman Wong , Zhenting Qi , Zhaodong Wang , Nathan Hu , Samuel Lin , Jun Ge , Erwin Gao , Wenlin Chen , Yilun Du , Minlan Yu , Ying Zhang

High-Performance Computing (HPC) platforms enable scientific software to achieve breakthroughs in many research fields such as physics, biology, and chemistry, by employing Research Software Engineering (RSE) techniques. These include 1)…

分布式、并行与集群计算 · 计算机科学 2019-10-16 Matan Rusanovsky , Re'em Harel , Lee-or Alon , Idan Mosseri , Harel Levin , Gal Oren

We equip dynamic geometry software (DGS) with a user-friendly method that enables massively parallel calculations on the graphics processing unit (GPU). This interplay of DGS and GPU opens up various applications in education and…

数学软件 · 计算机科学 2018-08-15 Aaron Montag , Jürgen Richter-Gebert

The combination of machine learning and physical laws has shown immense potential for solving scientific problems driven by partial differential equations (PDEs) with the promise of fast inference, zero-shot generalisation, and the ability…

机器学习 · 计算机科学 2024-09-11 Nacime Bouziani , David A. Ham , Ado Farsi

Modern interactive visualizations are akin to distributed systems, where user interactions, background data processing, remote requests, and streaming data read and modify the interface at the same time. This concurrency is crucial to…

人机交互 · 计算机科学 2019-07-02 Yifan Wu , Remco Chang , Eugene Wu , Joe Hellerstein

Scientific software applications are increasingly developed by large interdiscplinary teams operating on functional modules organized around a common software framework, which is capable of integrating new functional capabilities without…

性能 · 计算机科学 2013-09-10 Azamat Mametjanov , Boyana Norris

Design patterns are elegant and well-tested solutions to recurrent software development problems. They are the result of software developers dealing with problems that frequently occur, solving them in the same or a slightly adapted way. A…

软件工程 · 计算机科学 2019-03-25 Hannes Thaller , Lukas Linsbauer , Alexander Egyed

Bayesian models of cognition have gained considerable traction in computational neuroscience and psychiatry. Their scopes are now expected to expand rapidly to artificial intelligence, providing general inference frameworks to support…