Concept

Exception handling

Related publications (36)

Do we need "more research" or better implementation through knowledge brokering?

More research is needed is an iconic catchphrase used by scientists worldwide. Yet policy and management decisions are continually being made with variable levels of reliance on scientific knowledge. Funding agencies have provided incentives for knowledge ...

Springer2015

Teaching a Core CS Concept through Robotics

Roland Siegwart, Stéphane Magnenat, Fanny Riedo

We implemented single-session workshops using the Thymio- II—a small, self-contained robot designed for young stu- dents, and VPL—a graphical software development envi- ronment based upon event handling. Our goal was to in- vestigate if the students could ...

ACM2014

On Accelerating Interpolants

Viktor Kuncak, Hossein Hojjat

We present Counterexample-Guided Accelerated Abstraction Refinement (CEGAAR), a new algorithm for verifying infinite-state transition systems. CEGAAR combines interpolation-based predicate discovery in counterexample guided predicate abstraction with accel ...

2012

Accelerating Interpolants

Viktor Kuncak, Hossein Hojjat

2012

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

Student mini-kernel project based on an FPGA board

André Schiper, Zarko Milosevic, Omid Shahmirzadi

The paper describes a mini-kernel project in the context of a Concurrent Programming course. The goal of the project is to implement Java monitors and interrupt handling. The platform for the project is an FPGA board developed initially at EPFL for Compute ...

Association for Computing Machinery2011

Parallel Algorithms for Fluid-Structure Interaction Problems in Haemodynamics

Alfio Quarteroni, Simone Deparis, Gilles Fourestey, Paolo Crosetto

The increasing computational load required by most applications and the limits in hardware performances affecting scientific computing contributed in the last decades to the development of parallel software and architectures. In Fluid-Structure Interaction ...

2011

Continuation of eigenvalues and invariant pairs for parameterized nonlinear eigenvalue problems

Daniel Kressner, Peter Cedric Effenberger

Invariant pairs have been proposed as a numerically robust means to represent and compute several eigenvalues along with the corresponding (generalized) eigenvectors for matrix eigenvalue problems that are nonlinear in the eigenvalue parameter. In this wor ...

Springer-Verlag2011

SPH High-Performance Computing simulations of rigid solids impacting the free-surface of water

François Avellan, Pierre Maruzewski

Numerical simulations of water entries based on a three-dimensional parallelized Smoothed Particle Hydrodynamics (SPH) model developed by Ecole Centrale Nantes are presented. The aim of the paper is to show how such SPH simulations of complex 3D problems i ...

2010

Emotion on FPGA: Model Driven Approach

Arash Arami

Implementation of intelligent and bio-inspired algorithms in industrial and real applications is arduous, time consuming and costly; in addition, many aspects of system from high level behavior of algorithm to energy consumption of targeted system must be ...

Elsevier2009

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.