Concept

Specification (technical standard)

Related publications (162)

On Reductions for Synthesis Procedures

Viktor Kuncak, Philippe Paul Henri Suter, Swen Jacobs

A synthesis procedure acts as a compiler for declarative specifications. It accepts a formula describing a relation between inputs and outputs, and generates a function implementing this relation. This paper presents synthesis procedures for data structure ...

2012

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

Focusing System Flexure-Mechanism for the Close-Up Imager Instrument of the ExoMars Rover

Simon Nessim Henein, Philippe Schwab

This paper presents the design of a flexure based focusing system, part of the Close-Up Imager (CLUPI) instrument which is planned to be integrated on the future ExoMars NASA-ESA Mars Rover to be launched in 2018. Various design trade-offs are discussed, i ...

2012

Extending the service life of Swiss bridges of cultural value

Eugen Brühwiler

Bridges of high cultural value and aesthetic quality deserve respectful treatment and construction interventions must balance these assets with the severe requirements of utilisation. This is particularly relevant to structural engineers and bridge owners ...

2012

Study and Experimental Characterization of a Novel Photo Injector for the CLIC Drive Beam

Öznur Mete

In this thesis, the transverse and longitudinal beam properties of the PHIN photoinjector are characterized. The objective of the research is to demonstrate the reliable and stable production of a 1.3 µs long bunch train, with 2.33 nC charge per bunch and ...

EPFL2011

Raptor Codes

Mohammad Amin Shokrollahi

This monograph describes the theory behind Raptor codes, and elucidates elements of the processes behind the design of two of the most prominent members of this class of codes: R10 and RaptorQ (RQ). R10 has already been adopted by a number of standards' bo ...

2011

Business/IT Alignment in Practice: Lessons Learned From a Requirements Project at P&G

Julien Favre, Gil Regev, Alain Wegmann

One of the main objectives of the alignment of Business and IT in both small and large organizations is to improve the chances for an IT department to provide services that result in business success. An essential phase for this alignment is the definition ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011

Exchange of Limits: Why Iterative Decoding Works

Rüdiger Urbanke, Satish Babu Korada

We consider communication over binary-input memoryless output-symmetric channels using low-density parity-check codes and message-passing decoding. The asymptotic (in the length) performance of such a combination for a fixed number of iterations is given b ...

2011

Exchange of Limits: Why Iterative Decoding Works

Rüdiger Urbanke, Satish Babu Korada

Institute of Electrical and Electronics Engineers2011

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

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.