Publication

Modelling a Secure, Mobile, and Transactional System with CO-OPN

Related publications (102)

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.

Memory Power Optimization of Java-Based Embedded Systems Exploiting Garbage Collection Information

David Atienza Alonso

Nowadays, Java is used in all types of embedded devices. For these memory-constrained systems, the automatic dynamicmemorymanager (Garbage Collector or GC) has been always a key factor in terms of the Java Virtual Machine (JVM) performance. Moreover, in cu ...

Elsevier2012

A Systemic Approach to Multi-Party Relationship Modeling

Alain Wegmann, Anshuman Bahadur Saxena

Socio-economic systems exist in a wide variety of activity domains and are composed of multiple stakeholder groups. These groups pursue objectives which are often entirely motivated from within their local context. Domain specificities in the form of insti ...

2012

Multi-Lane FlowPools: A Detailed Look

Martin Odersky, Philipp Haller, Aleksandar Prokopec, Tobias Schlatter

FlowPools, proposed by are a powerful way to express dataflow logic in highly parallelized applications. The original paper proposes two ways of implementing a FlowPool: Single-Lane FlowPools (SLFP) and Multi-Lane FlowPools (MLFP). While SLFPs showed decen ...

2012

A Verification Toolkit for Numerical Transition Systems

Viktor Kuncak, Hossein Hojjat

This paper presents a publicly available toolkit and a benchmark suite for rigorous verification of Integer Numerical Transition Systems (INTS), which can be viewed as control-flow graphs whose edges are annotated by Presburger arithmetic formulas. We pres ...

2012

ReflectWorld: A Distributed Architecture for Meetings and Groups Evolution Analysis

Pierre Dillenbourg, Flaviu Roman

In this paper, we describe the efforts in taking advantage of the latest IT developments, (especially of the development of mobile computing devices such as tablets or phones) to create a comprehensive architecture for face-to-face meetings support and gro ...

Printing House2012

Atomic boxes: coordinated exception handling with transactional memory

Vincent Gramoli, Pascal Felber

In concurrent programs raising an exception in one thread does not prevent others from operating on an inconsistent shared state. Instead, exceptions should ideally be handled in coordination by all the threads that are affected by their cause. In this pap ...

2011

Communix: A Framework for Collaborative Deadlock Immunity

George Candea, Pinar Tözün, Horatiu Jula

We present Communix, a collaborative deadlock immunity framework for Java programs. Deadlock immunity enables applications to avoid deadlocks that they previously encountered. Dimmunix [1], our deadlock immunity system, detects deadlocks and saves their si ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2011

The jamming scenario—an introduction and outlook

Matthieu Wyart

The jamming scenario of disordered media, formulated about ten years ago, has in recent years been advanced by analyzing model systems of granular media. This has led to various new concepts that are increasingly being explored a variety of systems. This c ...

Oxford2011

Platform-wide Deadlock Immunity for Mobile Phones

George Candea, Horatiu Jula, Thomas Rensch

We present an implementation of our deadlock immunity system, Dimmunix, for mobile phone software. Within Android 2.2 OS, we modiﬁed Dalvik VM, the JVM running all the Android applications, to provide platform-wide deadlock immunity. We successfully ran th ...

2011

iProve: A Scalable Approach to Consumer-Verifiable Software Guarantees

George Candea, Horatiu Jula, Silviu Andrica

Formally proving complex program properties is still considered impractical for systems with over a million lines of code (MLOC). We present iProve, an approach that enables the generation and verification of proofs for interesting program properties in la ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2010