Concept

Cinnamon (logiciel)

Publications associées (9)

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

Fuzzing has emerged as the most broadly used testing technique to discover bugs. Effective fuzzers rely on coverage to prioritize inputs that exercise new program areas. Edge-based code coverage of the Program Under Test (PUT) is the most commonly used cov ...

ASSOC COMPUTING MACHINERY2023

Predictive control of aerial swarms in cluttered environments

Dario Floreano, Fabrizio Schiano, Enrica Soria

Classical models of aerial swarms often describe global coordinated motion as the combination of local interactions that happen at the individual level. Mathematically, these interactions are represented with potential fields. Despite their explanatory suc ...

2021

An Integrated Framework for Improving the Quality and Reliability of Software Upgrades

Olivier Crameri

Despite major advances in the engineering of maintainable and robust software over the years, upgrading software remains a primitive and error-prone activity. In this dissertation, we argue that several problems with upgrading software are caused by a poor ...

EPFL2011

Is there a geometric module for spatial orientation? Insights from a rodent navigation model

Wulfram Gerstner, Ricardo Andres Chavarriaga Lozano, Thomas Strösslin, Angelo Arleo

Modern psychological theories of spatial cognition postulate the existence of a geometric module for reorientation. This concept is derived from experimental data showing that in rectangular arenas with distinct landmarks in the corners, disoriented rats o ...

American Psychological Association2009

M/ORIS - Medical / Operating Room Interaction System

Sébastien Grange

The routine use of Computer-Assisted Surgery (CAS) in a wide range of surgical procedures and specialties is being hindered by the lack of suitable user interface for surgical environments. While many computer techniques and software exist to assist surgeo ...

EPFL2007

Development of Miniature Manipulators for Applications in Biology and Nanotechnologies

Jean-Marc Breguet, Walter Driesen

In the precision engineering industry, research and development is undertaken towards the development of microfactories, miniaturized environments for fabrication and assembly of small components. Micro handling and micromanipulation, especially in biology ...

2003

JAMAP: a Web-Based Management Platform for IP Networks

Jean-Pierre Hubaux, Jean-Philippe Martin-Flatin

In this paper, we describe JAMAP, a prototype of Web-based management platform for IP networks. It is entirely written in Java. It implements the push model to perform regular management (i.e. permanent network monitoring and data collection) and ad hoc ma ...

1999

JAMAP: a Web-Based Management Platform for IP Networks

Jean-Philippe Martin-Flatin

In this paper, we describe JAMAP, a prototype of a Web-based management platform for IP networks. It is entirely written in Java. It implements the push model to perform regular management (permanent network monitoring and data collection) and ad hoc manag ...

1999

SANDS: Structured Algebraic Net Development System

SANDS is a development tool based on structured algebraic nets. The environment is composed of the following features: - Algebraic nets allowing the definition and use of structured tokens by means of algebraic specifications. Apart from reducing the si ...

1993

Graph Chatbot

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.

Connectez-vous pour utiliser Chat avec Graph Search