Publication

Code Generation Approach Supporting Complex System Modeling based on Graph Pattern Matching

Related publications (76)

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.

Design, Modeling and Optimization of Stochastic Reactive Distributed Robotic Systems

Grégory Mermoud

This dissertation describes a complete methodological framework for designing, modeling and optimizing a specific class of distributed systems whose dynamics result from the multiple, stochastic interactions of their constitutive components. These componen ...

EPFL2012

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

Impact du degre de supervision sur l'adaptation a un domaine d'un modele de langage a partir du Web

Petr Motlicek, John David Scott Dines

Domain adaptation of a language model aims at re-estimating word sequence probabilities in order to better match the peculiarities of a given broad topic of interest. To achieve this task, a common strategy consists in retrieving adaptation texts from the ...

ATALA/AFCP2012

Impact du degre de supervision sur l'adaptation a un domaine d'un modele de langage a partir du Web

Petr Motlicek, John David Scott Dines

Idiap2012

Model Checking Tools for Software System Implementations

Maysam Yabandeh

Systematic State Exploration or Model Checking techniques have been used for years to check the model of softwares against user-specified properties. Nevertheless, they never achieved a wide-spread usage because of the difficulties and problems in translat ...

2010

Extensible Transactional Memory Testbed

Vincent Gramoli, Pascal Felber

Transactional Memory (TM) is a promising abstraction as it hides all synchronization complexities from the programmers of concurrent applications. More particularly the TM paradigm operated a complexity shift from the application programming to the TM prog ...

2010

A process model for structural identification

Ian Smith, Sandro Saitta

Structural identification is the activity of determining how a structure is behaving using results from measurements. This paper presents a process model for carrying out structural identification over the life of the structure using results from structura ...

Crc Press-Taylor & Francis Group, 6000 Broken Sound Parkway Nw, Ste 300, Boca Raton, Fl 33487-2742 Usa2009

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

Model refactoring using transformations

Slavisa Markovic

Modern software is reaching levels of complexity encountered in biological systems; sometimes comprising systems of systems each of which may include tens of millions of lines of code. Model Driven Engineering (MDE) advocates raising the level of abstracti ...

EPFL2008

Visual contracts (VCs)

José Diego de la Cruz Garcia

Model-Driven Engineering (MDE) harbors the promise of developing software-based systems with little or no coding. Instead of coding, it is envisioned that software engineers build models that are automatically translated into code. The modeling notation of ...

EPFL2008