Online Testing of Federated and Heterogeneous Distributed Systems

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Manipulation at the sub-micron scale often requires force-sensing capabilities of milli-to nanonewton forces. This article presents a novel design of a compliant load cell with mechanically adjustable stiffness. The system enables adapting force sensitivit ...

Computer-graders have been in regular use in the context of MOOCs (Massive Open Online Courses). The automatic grading of programs presents an opportunity to assess and provide tailored feedback to large classes, while featuring at the same time a number o ...

The Multistage Stacked Boost Architecture (MSBA) is a non-isolated step-up converter topology intended for renewable energy generation systems or distribution networks. In previous papers the functionality and intended applications for this topology have b ...

This dissertation explores techniques that synthesize and generate program fragments and test inputs. The main goal of these techniques is to improve and support automation in program synthesis and test input generation. This is important because performin ...

Inherently error-resilient applications in areas such as signal processing, machine learning and data analytics provide opportunities for relaxing reliability requirements, and thereby reducing the overheads incurred by conventional error correction scheme ...

Using high level coordination primitives allows enhanced expressiveness of component-based frameworks to cope with the inherent complexity of present-day systems designs. Nonetheless, their distributed implementation raises multiple issues, regarding both ...

Manual software testing is laborious and prone to human error. Yet, among practitioners, it is the most popular method for quality assurance. Automating the test case generation promises better effectiveness, especially for exposing corner-case bugs. Symbo ...

The Cradle to Cradle (C2C) paradigm is emerging as an important regenerative design approach. C2C is aiming to create a positive footprint of the built environment, beyond carbon neutrality. However, there are very few studies that address the application ...

Augmented reality (AR) has recently received a lot of attention in education. Multiple AR systems for learning have been developed and tested through empirical studies often conducted in lab settings. While lab studies can be insightful, they leave out the ...

It is notoriously hard to develop dependable distributed systems. This is partly due to the difficulties in foreseeing various corner cases and failure scenarios while implementing a system that will be deployed over an asynchronous network. In contrast, r ...

The research work of this PhD thesis was carried out in the context of an interdisciplinary project related to the study of urban morphogenesis. A team composed of architects and engineers specialized in GIS technologies have worked together in this projec ...

Achieving sub-millisecond response times in a managed language environment such as Java introduces significant implementation challenges. The Achilles' heel of Java is its reliance on automatic memory management for reclaiming dead objects. Typically, the ...

Multimodal dialogue systems integrate advanced (often spoken) language technologies within human-computer interaction methods. Such complex systems cannot be designed without extensive human expertise and systematic design guidelines taking into account th ...

We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular class of failure detectors (Diamond S or, equivalently, Omega), under the hyp ...

Model Driven Engineering (MDE) promotes the use of models as primary artefacts of a software development process, as an attempt to handle complexity through abstraction, e.g. to cope with the evolution of execution platforms. MDE follows a stepwise approac ...

Online Testing of Federated and Heterogeneous Distributed Systems

Chattez avec Graph Search

Design of a compliant load cell with adjustable stiffness

A Comparison between Two Automatic Assessment Approaches for Programming: An Empirical Study on MOOCs

Energetic Macroscopic Representation (EMR) and control scheme for the asymmetric 4-stage MSBA

Search Techniques for Code Generation

Mitigating the Impact of Faults in Unreliable Memories For Error-Resilient Applications

Optimized distributed implementation of multiparty interactions with Restriction

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

Application of the Cradle to Cradle paradigm to a housing unit in Switzerland: Findings from a prototype design

Designing Augmented Reality for the Classroom

Finding Almost-Invariants in Distributed Systems

Conception et évaluation d'un prototype de simulation de la morphogenèse urbaine par agents vecteurs multi-échelles

Reflexes: programming abstractions for highly responsive computing in Java

Design of multimodal dialogue-based systems

Distributed Consensus, Revisited

Concrete syntax definition for modeling languages