Recherche

Afficher tous les résultats pour

Accueil

Publication

Execution Synthesis: A Technique for Automated Software Debugging

Publications associées (27)

À propos
Confidentialité
Mentions légales

Graph Chatbot

Performance Estimation of High-Level Dataflow Program on Heterogeneous Platforms by Dynamic Network Execution

Marco Mattavelli, Simone Casale Brunet, Aurélien François Gilbert Bloch

The performance of programs executed on heterogeneous parallel platforms largely depends on the design choices regarding how to partition the processing on the various different processing units. In other words, it depends on the assumptions and parameters ...

MDPI2022

Automated Verification of Network Function Binaries

George Candea, Solal Vincenzo Pirelli, Aikaterini Argyraki

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

USENIX Association2022

A Theory of Value for Service Ecosystems

Blagovesta Hristova Kostova

In this thesis, we present a theory of value for the design and analysis of service ecosystems. The theory is based on general systems thinking. The concept of a system is used for relating knowledge from different disciplines (such as software engineering ...

EPFL2022

Nothing New Under the Sun: Novelty Constructs and Measures in Social Studies

Davide Bavato

The concept of novelty is central to questions of creativity, innovation, and discovery. Despite the prominence in scientific inquiry and everyday discourse, there is a chronic ambiguity over its meaning and a surprising variety of empirical measures, whic ...

Emerald Publishing Limited2022

Horizontal Healing

Anja Fröhlich

A Concideration of Typologies for Housing the Sick as a Spatial Manifestation of knowledge. ...

EPFL Press2022

On the Maximum Power Density of Implanted Antennas within Simplified Body Phantoms

Anja Skrivervik, Mingxiang Gao, Zvonimir Sipus

With the application requirements of wireless technology in implantable bioelectronics, knowledge of the fundamental limits for implanted antennas becomes critical. In this work, we investigated the variation of maximum power density within simplified body ...

IEEE2022

Spatial Isolation Implies Zero Knowledge Even in a Quantum World

Alessandro Chiesa

Zero knowledge plays a central role in cryptography and complexity. The seminal work of Ben-Or et al. (STOC 1988) shows that zero knowledge can be achieved unconditionally for any language in NEXP, as long as one is willing to make a suitable physical assu ...

ASSOC COMPUTING MACHINERY2022

Efficient Analytical Query Processing on CPU-GPU Hardware Platforms

Periklis Chrysogelos

Timely insights lead to business growth and scientific breakthroughs but require analytical engines that cope with the ever-increasing data processing needs. Analytical engines relied on rapid CPU improvements, yet the end of Dennard scaling stopped the fr ...

EPFL2022

Quality criteria for multi-domain studies in the indoor environment: Critical review towards research guidelines and recommendations

Dolaana Khovalyg, Verena Marie Barthelmes, Matteo Favero, Giorgia Chinazzo, Mandana Sarey Khanie

The perception, physiology, behavior, and performance of building occupants are influenced by multi-domain exposures: the simultaneous presence of multiple environmental stimuli, i.e., visual, thermal, acoustic, and air quality. Despite being extensive, th ...

PERGAMON-ELSEVIER SCIENCE LTD2022

Performance Interfaces for Network Functions

George Candea, Rishabh Ramesh Iyer, Aikaterini Argyraki

Modern programmers routinely use third-party code, and infrastructure operators deploy software they did not write. This would not be possible without semantic interfaces---documentation, header files, specifications---that succinctly describe what that th ...

USENIX Association2022

Page 2 sur 3

EPFL Press2022

On the Maximum Power Density of Implanted Antennas within Simplified Body Phantoms

Anja Skrivervik, Mingxiang Gao, Zvonimir Sipus

IEEE2022

Efficient Analytical Query Processing on CPU-GPU Hardware Platforms

Periklis Chrysogelos

EPFL2022

Quality criteria for multi-domain studies in the indoor environment: Critical review towards research guidelines and recommendations

Dolaana Khovalyg, Verena Marie Barthelmes, Matteo Favero, Giorgia Chinazzo, Mandana Sarey Khanie

PERGAMON-ELSEVIER SCIENCE LTD2022

Performance Interfaces for Network Functions

George Candea, Rishabh Ramesh Iyer, Aikaterini Argyraki

USENIX Association2022

Spatial Isolation Implies Zero Knowledge Even in a Quantum World

Alessandro Chiesa

ASSOC COMPUTING MACHINERY2022