Concept
Abstraction géométrique
Publications associées (11)
Scalable Metaprogramming in Scala 3
A metaprogrammer should be able to reason about the semantics of the generated code.Multi-stage programming introduced an elegant and powerful solution to this problem.It follows a semantically driven approach to code generation, where semantics are fully ...
EPFL2023Metal Circus: Abstraction and Method in Aldo Rossi’s Early Work
The essay focuses on the early work of Aldo Rossi, for the most part produced in collaboration with Gianugo Polesello, Luca Meda and Giorgio Grassi. In the early 1960s Rossi attempted to define a design method in which the juxtaposition of a limited set of ...
2023The interplay between task difficulty and microsaccade rate: Evidence for the critical role of visual load
Andreas Sonderegger, Andrea Regula Schneider
In previous research, microsaccades have been suggested as psychophysiological indicators of task load. So far, it is still under debate how different types of task demands are influencing microsaccade rate. This piece of research examines the relation bet ...
2020Unlocking Energy
Rachid Guerraoui, Babak Falsafi, Vasileios Trigonakis, Javier Picorel Obando
Locks are a natural place for improving the energy efficiency of software systems. First, concurrent systems are mainstream and when their threads synchronize, they typically do it with locks. Second, locks are well-defined abstractions, hence changing the ...
Usenix Assoc2016High-level synthesis of dataflow programs for heterogeneous platforms
The growing complexity of digital signal processing applications implemented in programmable logic and embedded processors make a compelling case the use of high-level methodologies for their design and implementation. Past research has shown that for comp ...
EPFL2015Characterizing communication behavior of dataflow programs using trace analysis
Marco Mattavelli, Simone Casale Brunet
This paper investigates the relationship between two ways of analyzing streaming systems: trace analysis for dataflow programs with firing, and network calculus for network flows. While the former focuses on the structure of the dataflow computation while ...
IEEE2014Abstractions for Solving Consensus and Related Problems with Byzantine Faults
We become increasingly dependent on online services; therefore, their availability and correct behavior become increasingly important. Software replication is a popular technique for ensuring that computer systems continue to provide a correct service even ...
EPFL2013Representing complex urban geometries in mesoscale modeling
Darren Robinson, Alain Clappier, Adil Rasheed
Real cities are comprised of a diverse, random arrangement of building positions, shapes, and sizes. Yet most of the urban parameterisations thus far developed share the assumption that a city is made up of either a regular array of parallelepipeds or infi ...
2011Sliding Window Abstraction for Infinite Markov Chains
Maria-Emanuela-Canini Mateescu, Verena Wolf
We present ail on-the-fly abstraction technique for infinite-state continuous-time Markov chains. We consider Markov chains that are specified by a finite set of transition classes. Such models naturally represent biochemical reactions and therefore play a ...
Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2009VHDL-AMS and Verilog-AMS as alternative hardware description languages for efficient modeling of multidiscipline systems
This paper focuses on commonalities and differences between the two mixed-signal hardware description languages VHDL-AMS and Verilog-AMS in the case of modeling heterogeneous or multi-discipline systems. The paper has two objectives. The first one consists ...
2005