Concept

Software prototyping

Related publications (301)

Klewel Webcast: from Research to Growing Company

Jean-Marc Odobez, Sandy Ingram, Alessandro Vinciarelli

The main motivations behind the webcasting company, Klewel, were to go beyond text-based conference proceedings to offer a user-friendly way to browse and replay presentations, access slides, and search for specific information within a recording. As the p ...

2015

Verification of Component-based Systems via Predicate Abstraction and Simultaneous Set Reduction

Simon Bliudze, Qiang Wang

This paper presents a novel safety property verification approach for component-based systems modelled in BIP (Behaviour, Interaction and Priority), encompassing multiparty synchronisation with data transfer and priority. Our contributions consist of: (1 ...

Springer2015

Animation-Based Service Specification, Verification and Validation

Biljana Bajic-Bizumic

[Context] With the expansion of services and service science, service systems have become an important abstraction for the service revolution. Service is defined as the application of resources (including competences, skills, and knowledge) to make changes ...

EPFL2015

Design and first applications of the ITER integrated modelling & analysis suite

Olivier Sauter, Basil Duval, Jonathan Bryan Lister, Sun Hee Kim

The ITER Integrated Modelling & Analysis Suite (IMAS) will support both plasma operation and research activities on the ITER tokamak experiment. The IMAS will be accessible to all ITER members as a key tool for the scientific exploitation of ITER. The back ...

Iop Publishing Ltd2015

Yin-Yang: Concealing the Deep Embedding of DSLs

Martin Odersky, Christoph Koch, Amir Shaikhha, Sandro Stucki, Vojin Jovanovic, Vladimir Nikolaev

Deeply embedded domain-specific languages (EDSLs) intrinsically compromise programmer experience for improved program performance. Shallow EDSLs complement them by trading program performance for good programmer experience. We present Yin-Yang, a framework ...

Assoc Computing Machinery2015

Optimized distributed implementation of multiparty interactions with Restriction

Joseph Sifakis

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 ...

Elsevier2015

Augmenting Learning Activities with Contextual Information Scent

Nan Li

Students often have information needs while carrying out a multitude of learning activities at universities. When information is needed for investigating a problem, the student may interrupt the work and switch to an information seeking task. As Internet c ...

EPFL2015

Microstereolithography

Philippe Renaud, Arnaud Bertsch

Microstereolithography is a 3D microfabrication technology that is fundamentally different from the techniques commonly used in cleanroom environment for the manufacturing of microelectromechanical system (MEMS) components. Most microfabrication techniques ...

Elsevier2015

Hawk: Hybrid Datacenter Scheduling

Willy Zwaenepoel, Anne-Marie Kermarrec, Pamela Isabel Delgado Borda, Florin Dinu

This paper addresses the problem of efficient scheduling of large clusters under high load and heterogeneous workloads. A heterogeneous workload typically consists of many short jobs and a small number of large jobs that consume the bulk of the cluster's r ...

USENIX Association2015

The Design and Modeling of a Novel Resistive Stretch Sensor With Tunable Sensitivity

Jamie Paik, Amir Firouzeh

Wearable technologies, interactive and safe robotic systems require an effective actuator control that highly depends on the accurate feedback from flexible and dense array of sensors. In this paper, we introduce a novel soft stretch sensor design that is ...

2015

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.