Publication
A profiling framework for high level design space exploration for memory and system architectures
Publications associées (408)
The landscape of utopia: writings on everyday life, taste, democracy, and design
Lucia-Nieves Garcia de Jalon Oyarzun
This collection of essays, all authored and curated by Tim Waterman, foregrounds the entangled nature of utopia(nism), landscape (aka landship), design and imagination, where ‘everything is connected, everything is inseparable, everything can have differen ...
2023Tradeoffs in Low-Power Accelerators Design for Large-Scale Interferometers
David Atienza Alonso, Miguel Peon Quiros, Denisa-Andreea Constantinescu, Benoît Walter Denkinger
Large-scale scientific infrastructures like SKAO—the world’s largest radio observatory for the coming decades—are generating massive-scale data streams of multi-Tb/s to be processed using complex interferometry algorithms. Concretely, SKAO is expected to g ...
2023Near-Optimal Communication Lower Bounds for Approximate Nash Equilibria
We prove an N2-o(1) lower bound on the randomized communication complexity of finding an epsilon-approximate Nash equilibrium (for constant epsilon > 0) in a two-player N x N game. ...
Philadelphia2023Attenuated Self-Interference Synchrophasor Estimation: the SOGI Interpolated DFT
Mario Paolone, Cesar Garcia Veloso
In this paper, a synchrophasor estimation (SE) algorithm is presented to simultaneously comply with the requirements for the P and M phasor measurement unit (PMU) performance classes. The method employs a second-order generalized integrator (SOGI) quadratu ...
IEEE2023Computation Complexity Reduction Technique for Accurate Seizure Detection Implants
Alexandre Schmid, Keyvan Farhang Razi
An automatic seizure detection method from high-resolution intracranial-EEG (iEEG) signals is presented to minimize the computational complexity and realize real-time accurate seizure detection for biomedical implants. Complex signal processing on a large ...
IEEE2022Decentralized in-order execution of a sequential task-based code for shared-memory architectures
The hardware complexity of modern machines makes the design of adequate programming models crucial for jointly ensuring performance, portability, and productivity in high-performance computing (HPC). Sequential task-based programming models paired with adv ...
IEEE COMPUTER SOC2022A greedy and distributable approach to the Lexicographic Bottleneck Assignment Problem with conditions on exactness
Solving the Lexicographic Bottleneck Assignment Problem (LexBAP) typically relies on centralised computation with order complexity. We consider the Sequential Bottleneck Assignment Problem (SeqBAP), which yields a greedy solution to the LexBAP and discuss ...
Elsevier2022An unnatural exception. Profile: Piet Oudolf
A garden by Piet Oudolf confronts you in an intellectual way with the complexity of the world, as an antidote to uniformity and repetition. ...
2022Automated Verification of Network Function Binaries
George Candea, Solal Vincenzo Pirelli
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 Association2022On Verified Scala for STIX File System Embedded Code using Stainless
We present an approach for using formal methods in embedded systems and its evaluation on a case study. In our approach, the developers describe the system in a restricted subset of the high-level programming language Scala. We then use 1) a verification s ...
2022