English
Related papers

Related papers: Support pour la reconfiguration d'implantation dan…

200 papers

The structures for the expression of fault-tolerance provisions into the application software are the central topic of this paper. Structuring techniques answer the questions "How to incorporate fault-tolerance in the application layer of a…

Software Engineering · Computer Science 2015-04-14 Vincenzo De Florio , Chris Blondia

In AC electrical systems, the power depends on the real power (P) due to resistive elements and the reactive power (Q) due to the inductive and capacitive elements, which are commonly studied by using phasor and scalar methods. Thus, this…

Signal Processing · Electrical Eng. & Systems 2019-09-04 Héctor A. Tabares-Ospina , John E. Candelo-Becerra

This short paper describes early experiments to validate the capabilities of a component-based platform to observe and control a software architecture in the small. This is part of a whole process for resilient computing, i.e. targeting the…

Software Engineering · Computer Science 2012-04-06 Miruna Stoicescu , Jean-Charles Fabre , Matthieu Roy

Reconfiguring the network stack allows applications to specialize the implementations of communication libraries depending on where they run, the requests they serve, and the performance they need to provide. Specializing applications in…

Networking and Internet Architecture · Computer Science 2023-11-15 Akshay Narayan , Aurojit Panda , Mohammad Alizadeh , Hari Balakrishnan , Arvind Krishnamurthy , Scott Shenker

In this paper we present BilevelJuMP, a new Julia package to support bilevel optimization within the JuMP framework. The package is a Julia library that enables the user to describe both upper and lower-level optimization problems using the…

Optimization and Control · Mathematics 2022-12-21 Joaquim Dias Garcia , Guilherme Bodin , Alexandre Street

MLJ (Machine Learing in Julia) is an open source software package providing a common interface for interacting with machine learning models written in Julia and other languages. It provides tools and meta-algorithms for selecting, tuning,…

Machine Learning · Computer Science 2020-12-01 Anthony D. Blaom , Franz Kiraly , Thibaut Lienart , Yiannis Simillides , Diego Arenas , Sebastian J. Vollmer

The embedding of fault tolerance provisions into the application layer of a programming language is a non-trivial task that has not found a satisfactory solution yet. Such a solution is very important, and the lack of a simple, coherent and…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-01-16 Vincenzo De Florio , G. Deconinck

Based on the two observations that diverse applications perform better on different multicore architectures, and that different phases of an application may have vastly different resource requirements, Pal et al. proposed a novel…

Programming Languages · Computer Science 2016-06-21 Sanjiva Prasad

Access control systems are widely used means for the protection of computing systems. They are defined in terms of access control policies regulating the accesses to system resources. In this paper, we introduce a formally-defined,…

Software Engineering · Computer Science 2017-01-02 Andrea Margheri , Massimiliano Masi , Rosario Pugliese , Francesco Tiezzi

Service robots are complex, heterogeneous, software intensive systems built from components. Recent robotics research trends mainly address isolated capabilities on functional level. Non-functional properties, such as responsiveness or…

Robotics · Computer Science 2016-01-12 Alex Lotz , Arne Hamann , Ingo Lütkebohle , Dennis Stampfer , Matthias Lutz , Christian Schlegel

The Infrastructure-as-a-Service (IaaS) model of cloud computing is a promising approach towards building elastically scaling systems. Unfortunately, building such applications today is a complex, repetitive and error-prone endeavor, as IaaS…

Software Engineering · Computer Science 2014-11-11 Rostyslav Zabolotnyi , Philipp Leitner , Waldemar Hummer , Schahram Dustdar

The article proposes a model for the configuration management of open systems. The model aims at validation of configurations against given specifications. An extension of decision graphs is proposed to express specifications. The proposed…

Software Engineering · Computer Science 2010-11-25 Roberto Barbuti , Giovanni A. Cignoni , Paolo Milazzo

We present a Julia-based interface to the precompiled HALLaR and cuHALLaR binaries for large-scale semidefinite programs (SDPs). Both solvers are established as fast and numerically stable, and accept problem data in formats compatible with…

Optimization and Control · Mathematics 2025-08-25 Jacob Aguirre , Diego Cifuentes , Vincent Guigues , Renato D. C. Monteiro , Victor Hugo Nascimento , Arnesh Sujanani

Architectural modeling is an integral part of modern software development. In particular, diverse systems benefit from precise architectural models since similar components can often be reused between different system variants. However,…

Software Engineering · Computer Science 2014-09-09 Arne Haber , Holger Rendel , Bernhard Rumpe , Ina Schaefer

Developers often change types of program elements. Such refactoring often involves updating not only the type of the element itself, but also the API of all type-dependent references in the code, thus it is tedious and time-consuming.…

Software Engineering · Computer Science 2022-05-10 Oleg Smirnov , Ameya Ketkar , Timofey Bryksin , Nikolaos Tsantalis , Danny Dig

FPGAs are an attractive type of accelerator for all-purpose HPC computing systems due to the possibility of deploying tailored hardware on demand. However, the common tools for programming and operating FPGAs are still complex to use,…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-01-19 Gabriel Rodriguez-Canal , Nick Brown , Yuri Torres , Arturo Gonzalez-Escribano

When engineering complex and distributed software and hardware systems (increasingly used in many sectors, such as manufacturing, aerospace, transportation, communication, energy, and health-care), quality has become a big issue, since…

Software Engineering · Computer Science 2009-10-06 Antonio Bucchiarone , Davide Di Ruscio , Henry Muccini , Patrizio Pelliccione

In this article we introduce the concept and the first implementation of a lightweight client-server-framework as middleware for distributed computing. On the client side an installation without administrative rights or privileged ports can…

Software Engineering · Computer Science 2009-12-04 R. -M. Vetter , W. Lennartz , J. -V. Peetz

Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applications. Nevertheless, few approaches have proposed a…

Software Engineering · Computer Science 2010-02-05 Guillaume Waignier , Estéban Duguepéroux , Anne-Françoise Le Meur , Laurence Duchien

Software developers are faced with the issue of either adapting their programming model to the execution model (e.g. cloud platforms) or finding appropriate tools to adapt the model and code automatically. A recent execution model which…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-02-21 Josef Spillner , Serhii Dorodko
‹ Prev 1 4 5 6 7 8 10 Next ›