English
Related papers

Related papers: Unifying Static and Dynamic Intermediate Languages…

200 papers

The rapid scaling of large language models (LLMs) exacerbates communication bottlenecks in AI data centers (AIDCs). To overcome this, optical circuit switches (OCS) are increasingly adopted for their superior bandwidth capacity and energy…

Networking and Internet Architecture · Computer Science 2026-05-27 Niangen Ye , Jingya Liu , Guofu Zhu , Weiqiang Sun , Weisheng Hu

Deep learning models rely on highly optimized tensor libraries for efficient inference on heterogeneous hardware. Current deep compilers typically predetermine layouts of tensors and then optimize loops of operators. However, such…

Machine Learning · Computer Science 2022-11-01 Zhiying Xu , Jiafan Xu , Hongding Peng , Wei Wang , Xiaoliang Wang , Haoran Wan , Haipeng Dai , Yixu Xu , Hao Cheng , Kun Wang , Guihai Chen

High-performance DSL developers work hard to take advantage of modern hardware. The DSL compilers have to build their own complex middle-ends before they can target a common back-end such as LLVM, which only handles single instruction…

Programming Languages · Computer Science 2018-05-30 Riyadh Baghdadi , Jessica Ray , Malek Ben Romdhane , Emanuele Del Sozzo , Patricia Suriana , Shoaib Kamil , Saman Amarasinghe

In-context learning (ICL) is a new paradigm for natural language processing (NLP), where a large language model (LLM) observes a small number of demonstrations and a test instance as its input, and directly makes predictions without…

Computation and Language · Computer Science 2024-12-12 Fei Zhao , Taotian Pang , Zhen Wu , Zheng Ma , Shujian Huang , Xinyu Dai

We present SPILDL, a Scalable and Parallel Inductive Learner in Description Logic (DL). SPILDL is based on the DL-Learner (the state of the art in DL-based ILP learning). As a DL-based ILP learner, SPILDL targets the…

Artificial Intelligence · Computer Science 2024-12-03 Eyad Algahtani

The effectiveness of collision-free trajectory planners depends on the quality and diversity of training data, especially for rare scenarios. A widely used approach to improve dataset diversity involves generating realistic synthetic…

Software Engineering · Computer Science 2026-01-30 Konstantin Poddubnyy , Igor Vozniak , Ivan Burmistrov , Nils Lipp , Davit Hovhannisyan , Christian Mueller , Philipp Slusallek

The end-to-end ASR model is often desired in the streaming multilingual scenario since it is easier to deploy and can benefit from pre-trained speech models such as powerful foundation models. Meanwhile, the heterogeneous nature and…

Computation and Language · Computer Science 2024-01-18 Junwen Bai , Bo Li , Qiujia Li , Tara N. Sainath , Trevor Strohman

DSLs and hardware accelerators have proven to be very effective in optimizing computationally expensive workloads. In this paper, we propose a solution to the challenge of manually rewriting legacy or unoptimized code in domain-specific…

Programming Languages · Computer Science 2023-08-15 Yuto Nishida , Sahil Bhatia , Shadaj Laddad , Hasan Genc , Yakun Sophia Shao , Alvin Cheung

Current language models (LMs) use a fixed, static subword tokenizer. This default choice typically results in degraded efficiency and language capabilities, especially in languages other than English. To address this issue, we challenge the…

Computation and Language · Computer Science 2025-06-12 Darius Feher , Ivan Vulić , Benjamin Minixhofer

This paper presents the acados software package, a collection of solvers for fast embedded optimization intended for fast embedded applications. Its interfaces to higher-level languages make it useful for quickly designing an…

In this project, we designed a DC motor whose speed can be controlled by a PID controller. The proportional, integral and derivative gains (KP, KI, KD) of the PID controller are adjusted according to Fuzzy logic. First of all, the fuzzy…

Systems and Control · Electrical Eng. & Systems 2021-08-13 Messaadi Nassim , Amroun Abdelkader

Creating suitable diagrams for technical and scientific publications is challenging and time-consuming, as manual control over the layout is required to communicate information effectively. Existing diagramming tools usually allow modeling…

Software Engineering · Computer Science 2024-03-21 Niklas Krieger , Sandro Speth , Steffen Becker

We study the problem of generating plans for given natural language planning task requests. On one hand, LLMs excel at natural language processing but do not perform well on planning. On the other hand, classical planning tools excel at…

Computation and Language · Computer Science 2024-07-02 Sudhir Agarwal , Anu Sreepathy

We introduce the asprilo [1] framework to facilitate experimental studies of approaches addressing complex dynamic applications. For this purpose, we have chosen the domain of robotic intra-logistics. This domain is not only highly relevant…

Artificial Intelligence · Computer Science 2018-04-30 Martin Gebser , Philipp Obermeier , Thomas Otto , Torsten Schaub , Orkunt Sabuncu , Van Nguyen , Tran Cao Son

Automatic code optimization remains a difficult challenge, particularly for complex loop nests on modern hardware. This paper investigates a novel approach to code optimization where Large Language Models (LLMs) guide the process through a…

Programming Languages · Computer Science 2025-12-30 Massinissa Merouani , Islem Kara Bernou , Riyadh Baghdadi

Large language models (LLMs) have taken the world by storm by making many previously difficult uses of AI feasible. LLMs are controlled via highly expressive textual prompts and return textual answers. Unfortunately, this unstructured text…

Artificial Intelligence · Computer Science 2024-10-28 Mandana Vaziri , Louis Mandel , Claudio Spiess , Martin Hirzel

Developing systems that can synthesize natural and life-like motions for simulated characters has long been a focus for computer animation. But in order for these systems to be useful for downstream applications, they need not only produce…

Machine Learning · Computer Science 2023-02-01 Jordan Juravsky , Yunrong Guo , Sanja Fidler , Xue Bin Peng

This paper describes our experiences creating Tornado: a practical and efficient heterogeneous programming framework for managed languages. The novel aspect of Tornado is that it turns the programming of heterogeneous systems from an…

Programming Languages · Computer Science 2018-03-02 James Clarkson , Christos Kotselidis

Piezo-stepper actuators are used in many nanopositioning systems due to their high resolution, high stiffness, fast response, and the ability to position a mover over an infinite stroke by means of motion reminiscent of walking. The aim of…

Systems and Control · Electrical Eng. & Systems 2020-06-25 Leontine Aarnoudse , Nard Strijbosch , Edwin Verschueren , Tom Oomen

On-chip voltage regulation using distributed Digital Low Drop Out (LDO) voltage regulators has been identified as a promising technique for efficient power-management for emerging multi-core processors. Digital LDOs (DLDO) can offer low…

Hardware Architecture · Computer Science 2015-12-01 Sohail Ahasan , Saurav Maji , Kauhsik Roy , Mrigank Sharad
‹ Prev 1 3 4 5 6 7 10 Next ›