Concept

Declarative programming

Related publications (112)

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.

PyNN: a common interface for neuronal network simulators

Eilif Benjamin Muller

Computational neuroscience has produced a diversity of software for simulations of networks of spiking neurons, with both negative and positive consequences. On the one hand, each simulator uses its own programming or configuration language, leading to con ...

Frontiers Research Foundation2008

Declarative Specification and Alignment Verification of Services in ITIL

Gil Regev, Alain Wegmann, Irina Rychkova

IT organizations that wish to implement the best practices recommended by the IT Infrastructure Library (ITIL) need to specify the level of service provided to their customers. The implemented service needs to comply with this specification. We propose a m ...

2008

How to Make Stream Processing More Mainstream

Marco Mattavelli

Stream processing has a long history as a way of describing and implementing speciﬁc kinds of computational processes. So far, however, it has largely remained an exotic ﬁeld of endeavor, with relatively small momentum compared to traditional von Neumann c ...

IEEE, ACM2008

An Intorduction to the Interface Between C and R

This manual will be useful for people looking to extend R with the C compiled code. The motivation for using the C interface with R may be bidirectional. For statisticians programming mainly in R, an interface to C provides fast execution of code and bette ...

2007

Actors that Unify Threads and Events

Martin Odersky, Philipp Haller

In practice, concurrent programming systems based on message passing are often instantiations of the actor model. A popular implementation of this form of concurrency is the Erlang programming language. Erlang supports massively concurrent systems such as ...

2007

Retina Simulation using Cellular Automata and GPU Programming

Stéphane Gobron

This article shows how the architecturalmod- elization of biological retina allows real-time performances on cheap and widespread computing systems. Firstly we describe the biological retina in terms of its pipeline ar- chitecture detailing its layer behav ...

Springer Verlag2007

Global Sensor Networks

Karl Aberer, Manfred Hauswirth, Ali Salehi

The availability of cheap and smart wireless sensing devices provides unprecedented possibilities to monitor the physical world. On the technical side these devices introduce several original research problems, many of them related to the integration of th ...

2006

Reference current generator, and method of programming, adjusting and/or operating same

Maher Kayal, Michel Declercq, Marc Pastre, Marija Blagojevic, Lionel Portmann

There are many inventions described and illustrated herein. In a first aspect, the present invention is a technique and circuitry for reading data that is stored in memory cells. In one embodiment of this aspect, the present invention is a technique and ci ...

2005

EDITORIAL: Robot Programming By Demonstration

Aude Billard, Roland Siegwart

Programming by demonstration (PbD) is a key research topic in robotics. It impacts both fundamental research and application-oriented studies.Work in that area tackles the development of robust algorithms for motor control, motor learning, gesture recognit ...

2004

"May You Have a Strong (-Typed) Foundation", Why Strong-Typed Programming Languages Do Matter

Roland Siegwart, Nicola Tomatis

Programming efficient and reliable code can be considered a non-trivial task, as it requires deep understanding of the problem to be solved along with good programming skills. However, software frameworks and programming paradigms can provide a dependable ...

2004