English
Related papers

Related papers: A Constraint Satisfaction Method for Configuring N…

200 papers

A numerical method for coupled 3D-1D problems with discontinuous solutions at the interfaces is derived and discussed. This extends a previous work on the subject where only continuous solutions were considered. Thanks to properly defined…

Numerical Analysis · Mathematics 2022-03-04 Stefano Berrone , Denise Grappein , Stefano Scialò

We develop a reduced-order framework for optimizing mixing in two-dimensional incompressible flows. Instead of optimizing the full transport PDE, the method maximizes the length of advected material interfaces, leading to a…

Numerical Analysis · Mathematics 2026-05-07 Ziqian Li , Enrique Zuazua

One of the key advantages of Software-Defined Networks (SDN) is the opportunity to integrate traffic engineering modules able to optimize network configuration according to traffic. Ideally, network should be dynamically reconfigured as…

Networking and Internet Architecture · Computer Science 2020-11-26 Davide Sanvito , Ilario Filippini , Antonio Capone , Stefano Paris , Jeremie Leguay

Human-computer dialog plays a prominent role in interactions conducted at kiosks (e.g., withdrawing money from an atm or filling your car with gas), on smartphones (e.g., installing and configuring apps), and on the web (e.g., booking a…

Programming Languages · Computer Science 2025-03-03 Zachary S. Rowland , Saverio Perugini

Networks are designed with functionality, security, performance, and cost in mind. Tools exist to check or optimize individual properties of a network. These properties may conflict, so it is not always possible to run these tools in series…

Cryptography and Security · Computer Science 2019-02-19 Timothy Curry , Devon Callahan , Benjamin Fuller , Laurent Michel

Dynamic reconfiguration is the action of modifying a software system at runtime. Several works have been using architectural specification as the basis for dynamic reconfiguration. Indeed ADLs (architecture description languages) let…

Software Engineering · Computer Science 2012-05-22 Leonardo Minora , Jérémy Buisson , Flavio Oquendo , Thais Batista

Following previous work on the automated deployment orchestration of component based applications, where orchestrations are expressed in terms of behaviours satisfying component interface functional dependences, we develop a formal model…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-10-01 Lorenzo Bacchiani , Mario Bravetti , Saverio Giallorenzo , Jacopo Mauro , Iacopo Talevi , Gianluigi Zavattaro

Design of large software systems requires rigorous application of software engineering methods covering all phases of the software process. Debugging during the early design phases is extremely important, because late bug-fixes are…

Software Engineering · Computer Science 2007-05-23 Johann Schumann

Reconfiguration is one of the central mechanisms in distributed systems. Due to failures and connectivity disruptions, the very set of service replicas (or servers) and their roles in the computation may have to be reconfigured over time.…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-09-16 Petr Kuznetsov , Thibault Rieutord , Sara Tucci-Piergiovanni

The discretization of constrained nonlinear optimization problems arising in the field of topology optimization yields algebraic systems which are challenging to solve in practice, due to pathological ill-conditioning, strong nonlinearity…

Optimization and Control · Mathematics 2016-10-31 Michal Kocvara , Daniel Loghin , James Turner

In software engineering, the meticulous configuration of software tools is crucial in ensuring optimal performance within intricate systems. However, the complexity inherent in selecting optimal configurations is exacerbated by the…

Software Engineering · Computer Science 2023-12-12 Jai Kannan

Microservice architectures have gained popularity as one of the preferred architectural approaches to develop large-scale systems, replacing the monolith architecture approach. Similarly, strategic Domain-Driven Design (DDD) gained traction…

Software Engineering · Computer Science 2024-07-04 Miguel Levezinho , Stefan Kapferer , Olaf Zimmermann , António Rito Silva

LLMs are increasingly used for end-user task planning, yet their black-box nature limits users' ability to ensure reliability and control. While recent systems incorporate verification techniques, it remains unclear how users can…

Artificial Intelligence · Computer Science 2026-05-05 Christine P Lee , Xinyu Jessica Wang , Aws Albarghouthi , David Porfirio , Bilge Mutlu

The long-standing one-to-many problem of gold standard responses in open-domain dialogue systems presents challenges for automatic evaluation metrics. Though prior works have demonstrated some success by applying powerful Large Language…

Computation and Language · Computer Science 2024-05-31 Kun Zhao , Bohao Yang , Chen Tang , Chenghua Lin , Liang Zhan

Many automatic evaluation metrics have been proposed to score the overall quality of a response in open-domain dialogue. Generally, the overall quality is comprised of various aspects, such as relevancy, specificity, and empathy, and the…

Computation and Language · Computer Science 2020-11-03 Vitou Phy , Yang Zhao , Akiko Aizawa

When multiple self-adaptive systems share the same environment and have common goals, they may coordinate their adaptations at runtime to avoid conflicts and to satisfy their goals. There are two approaches to coordination. (1) Logically…

Software Engineering · Computer Science 2023-10-27 Paul-Andrei Dragan , Andreas Metzger , Klaus Pohl

Configuration is a key technology for tailoring complex software systems, services, and products. A successful application of configurators not only depends on technical correctness, performance, and domain modeling but also on their…

Large language model (LLM) services are mostly centralized, leading to scalability bottlenecks and underutilization of substantial scattered GPU resources. While decentralization offers a promising alternative, existing frameworks primarily…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-03-25 Huanyu Wang , Ziyu Xia , Zhuoming Chen , Beidi Chen

The recent breakthrough of large language models (LLMs) in natural language processing has sparked exploration in recommendation systems, however, their limited domain-specific knowledge remains a critical bottleneck. Specifically, LLMs…

Information Retrieval · Computer Science 2025-10-03 Xiaohan Yu , Li Zhang , Xin Zhao , Yue Wang

Large language models have shown unprecedented abilities in generating linguistically coherent and syntactically correct natural language output. However, they often return incorrect and inconsistent answers to input questions. Due to the…

Databases · Computer Science 2023-12-27 Jasmin Mousavi , Arash Termehchy