Publication

An Evolutive Distributed Algebraic Petri Nets Simulator

Related publications (55)

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.

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

2014

Yin-yang: concealing the deep embedding of DSLs

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

ACM Press2014

The main contribution of this work is a formal model of hygienic name resolution and macro system that is flexible enough to provide missing safety to quasiquotes. This makes it possible to combine the best of two worlds: we get reasonable safety guarantee ...

2014

Finding Information in Multimedia Meeting Records

Hervé Bourlard, Andrei Popescu-Belis

This paper surveys the work carried out within two large consortia, AMI and IM2, on improving access to records of human meetings thanks to multimodal interfaces called meeting browsers. These tools help users navigate through multimedia records containing ...

2012

The advantages and drawbacks of Capacitance vs Voltage (CV) characteristics, trap-assisted gate leakage tunneling and multi-frequency charge pumping techniques, have been brought out through an attentive investigation of oxide defects in CMOS technologies. ...

Springer Verlag2012

Finding Information in Multimedia Records of Meetings

Hervé Bourlard, Andrei Popescu-Belis

This paper overviews the work carried out within two large consortia on improving the access to records of human meetings using multimodal interfaces. The design of meeting browsers has emerged as an important goal, with both theoretical interest and pract ...

Idiap2011

Online Testing of Federated and Heterogeneous Distributed Systems

Dejan Novakovic, Dejan Kostic, Marco Canini, Vojin Jovanovic

DiCE is a system for online testing of federated and heterogeneous distributed systems. We have built a prototype of DiCE and integrated it with a BGP router. DiCE quickly detects three important classes of faults, resulting from configuration mistakes, po ...

2011

Analog property checkers: a DDR2 case study

Dejan Nickovic

The formal specification component of verification can be exported to simulation through the idea of property checkers. The essence of this approach is the automatic construction of an observer from the specification in the form of a program that can be in ...

Springer US2010

Collaborative Development of a PLE for Language Learning

Sten Govaerts, Evgeny Bogdanov

This paper provides a report on the experimental collaborative and distributed development of a prototypic Widget-based PLE. The development process is described and detailed taking into account the requirements of a language learning scenario. First resul ...

2010

ProtoPeer: Distributed Systems Prototyping Toolkit

Karl Aberer, Wojciech Galuba, Zoran Despotovic

Simulators are an excellent tool for quick systems prototyping and large-scale parameter sweeps, but they cannot match the accuracy of live network evaluations. Switching from the simulation to the actual implementation often requires a considerable develo ...

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