1,486 research outputs found
A Calculus for Modular Loop Acceleration
Loop acceleration can be used to prove safety, reachability, runtime bounds,
and (non-)termination of programs operating on integers. To this end, a variety
of acceleration techniques has been proposed. However, all of them are
monolithic: Either they accelerate a loop successfully or they fail completely.
In contrast, we present a calculus that allows for combining acceleration
techniques in a modular way and we show how to integrate many existing
acceleration techniques into our calculus. Moreover, we propose two novel
acceleration techniques that can be incorporated into our calculus seamlessly.
An empirical evaluation demonstrates the applicability of our approach
A Calculus for Modular Loop Acceleration
Loop acceleration can be used to prove safety, reachability, runtime bounds, and (non-)termination of programs operating on integers. To this end, a variety of acceleration techniques has been proposed. However, all of them are monolithic: Either they accelerate a loop successfully or they fail completely. In contrast, we present a calculus that allows for combining acceleration techniques in a modular way and we show how to integrate many existing acceleration techniques into our calculus. Moreover, we propose two novel acceleration techniques that can be incorporated into our calculus seamlessly. An empirical evaluation demonstrates the applicability of our approach
Hinterland FAR Frohn & Rojas, Colonia, 2011
Indexación: Web of Science; Scielo.¿Es posible llevar la interpretación de las regulaciones urbanas al ámbito del "hágalo Ud. mismo"? Este software acorta la distancia entre habitante, arquitecto y normativa, en un intento por acelerar y facilitar la renovación del tejido urbano del casco histórico de Colonia.Is it possible to interpret urban regulations under the "do it yourself" model? This software brings resident, architect and regulations closer together in an attempt to accelerate and facilitate the renewal of the urban fabric of Cologne's historic quarter.http://ref.scielo.org/kq823
Wall House. Lampa, Chile
Indexación: Web of Science; ScieloEl control climático y lumÃnico es tomado como generatriz de una vivienda ubicada en la zona central de Chile. A través de la creación de capas sucesivas desde el interior, se conforman los espacios privados y comunes, en un contexto velado por los mantos exteriores que controlan la luz y las vistas.This thesis project, built thanks to the participation of locals and the recycling of abandoned material, proposes a contemplation space of a landscape previously exploited. The generated volumes are placed and give gratuity to the space, allowing one to reflect over history.http://ref.scielo.org/w8xtw
- …