Concept

Lazy evaluation

Related publications (404)

Wave atlas for Swiss lakes: modeling design waves in mountainous lakes.

Azin Amini, Philippe Heller, Blaise Etienne Marceau Dhont

The present study aims to provide a comprehensive wave atlas for Swiss lakes. The atlas is an adequate tool that contains wave characteristics of extreme events derived from numerical calculations. Swiss lakes are surrounded by mountains, and the wind fiel ...

Taylor & Francis Ltd2017

Optimal Path Planning and Coverage Control for Multi-Robot Persistent Coverage in Environments with Obstacles

Alcherio Martinoli, Zeynab Talebpour, José Manuel Palacios Gasos

Persistent coverage aims to maintain a certain coverage level over time in an environment where such level deteriorates. This level can be associated to temperature, dust or sensor information. We propose an algorithmic solution in which each robot locally ...

2017

Verifying Resource Bounds of Programs with Lazy Evaluation and Memoization

Viktor Kuncak, Ravichandhran Kandhadai Madhavan, Sumith Kulal

We present a new approach for specifying and verifying resource utilization of higher-order functional programs that use lazy eval- uation and memoization. In our approach, users can specify the desired resource bound as templates with numerical holes e.g. ...

2016

Function Passing: A Model for Typed, Distributed Functional Programming

Philipp Haller, Jocelyn Boullier

The most successful systems for “big data” processing have all adopted functional APIs. We present a new programming model we call function passing designed to provide a more principled substrate on which to build data-centric distributed systems. A key id ...

Assoc Computing Machinery2016

A Study on the Programming Structures for RRAM-based FPGA Architectures

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Xifan Tang, Gain Kim

Field Programmable Gate Arrays (FPGAs) can benefit non-volatility and high-performance by exploiting Resistive Random Access Memories (RRAMs). In RRAM-based FPGAs, the memories do not only replace the SRAMs and store configurations, but they can also repla ...

Ieee-Inst Electrical Electronics Engineers Inc2016

Influence of Saliency and Social Impairments on the Development of Intention Recognition

Aude Billard, Laura Bénédicte Marine Cohen

Among the symptoms of schizophrenia, deficits in the recognition of intention is one of the most studied. However, there is no cognitive model of intention recognition that takes into account both innate and environmental/developmental factors. This work p ...

Springer Int Publishing Ag2016

A TASTY Alternative

Martin Odersky, Eugene Burmako, Dmytro Petrashko

This document proposes a new serialization format for typed syntax trees of Scala programs. It aims to be ● compact: All numbers and references are length encoded, trees are inlined by default but may be shared. ● lazy: Trees can be explored from the top, ...

2016

SMT-Based Checking of Predicate-Qualified Types for Scala

Viktor Kuncak, Georg Stefan Schmid

We present qualified types for Scala, a form of refinement types adapted to the Scala language. Qualified types allow users to refine base types and classes using predicate expressions. We implemented a type checker for qualified types that is embedded in ...

Assoc Computing Machinery2016

Protection Strategy against IEMI for Wireless Communication Infrastructures

Marcos Rubinstein, Mirjana Stojilovic, Nicolas Mora Parra

In this paper, we present a methodology for estimating the protection levels of critical equipment against IEMI. We apply the method to a wireless communication infrastructure, but it can be applied to any critical infrastructure. The required protection l ...

Ieee2016

Glare Caused By Contrast Between Task And Immediate Surround: An Evaluation Of Luminance Distribution In The Field Of View

Marilyne Andersen, Jan Wienold, Peter Hansen, Mandana Sarey Khanie

Luminance ratios have historically been used to assess glare. Using data from a previous experiment, this exploratory study investigates the relationship between luminance variations in the field of view (FOV), measured as luminance ratios, and glare sensa ...

Cie Central Bureau2016

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.