Publications associées à Java SE

Attenuated Self-Interference Synchrophasor Estimation: the SOGI Interpolated DFT

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 ...

IEEE2023

Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems

Mathias Josef Payer, Amir Aminifar

Increasing internet connectivity poses an existential threat for cyber-physical systems. Securing these safety-critical systems becomes an important challenge. Cyber-physical systems often comprise several control applications that are implemented on share ...

IEEE2019

Iterative-Interpolated DFT for Synchrophasor Estimation: A Single Algorithm for P- and M-Class Compliant PMUs

Mario Paolone, Asja Derviskadic, Paolo Romano

We present a single synchrophasor estimation (SE) algorithm that is simultaneously compliant with both P and M phasor measurement unit (PMU) performance classes. The method, called iterative-interpolated discrete Fourier transform (i-IpDFT), iteratively es ...

2018

A Scala Library for Testing Student Assignments on Concurrent Programming

Mikaël Mayer, Ravichandhran Kandhadai Madhavan

We present a lightweight library for testing concurrent Scala programs by systematically exploring multiple interleavings between user-specified operations on shared objects. Our library is targeted at beginners of concurrent programming in Scala, runs on ...

Assoc Computing Machinery2016

Improving the Interoperation between Generics Translations

Martin Odersky, Nicolas Alexander Stucki, Vlad Ureche, Romain Michel Beguet, Milos Stojanovic

Generics on the Java platform are compiled using the erasure transformation, which only supports by-reference values. This causes slowdowns when generics operate on primitive types, such as integers, as they have to be transformed into reference-based obje ...

ACM2015

Composing Relaxed Transactions

Rachid Guerraoui, Vincent Gramoli, Mihai Letia

As the classic transactional abstraction is sometimes considered too restrictive in leveraging parallelism, a lot of work has been devoted to devising relaxed transactional models with the goal of improving concurrency. Nevertheless, the quest for improvin ...

IEEE Computer Society2013

A Hardware-in-the-Loop Test Platform for the Real-Time State Estimation of Active Distribution Networks using Phasor Measurement Units

Mario Paolone, Paolo Romano, Marco Pignati, Lorenzo Zanni, Styliani Sarri

The paper describes the development and the performance assessment of a Hardware-in-the-Loop (HIL) test platform built as a proof-of-concept of a sub-second State Estimator (SE) of Active Distribution Networks (ADNs). The SE relies on the availability of d ...

Cigré - Conseil International des Grands Réseaux Électriques2013

Bridging Islands of Specialized Code using Macros and Reified Types

Nicolas Alexander Stucki, Vlad Ureche

Parametric polymorphism in Scala suffers from the usual drawback of erasure on the Java Virtual Machine: primitive values are boxed, leading to indirect access, wasteful use of heap memory and lack of cache locality. For performance-critical parts of the c ...

2013

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Java SE

Attenuated Self-Interference Synchrophasor Estimation: the SOGI Interpolated DFT

Immediate Tracing

Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems

Iterative-Interpolated DFT for Synchrophasor Estimation: A Single Algorithm for P- and M-Class Compliant PMUs

A Scala Library for Testing Student Assignments on Concurrent Programming

Improving the Interoperation between Generics Translations

Self-Assembly: Lightweight Language Extension and Datatype Generic Programming, All-in-One!

Composing Relaxed Transactions

A Hardware-in-the-Loop Test Platform for the Real-Time State Estimation of Active Distribution Networks using Phasor Measurement Units

Bridging Islands of Specialized Code using Macros and Reified Types

Graph Chatbot

Chattez avec Graph Search

Immediate Tracing

Attenuated Self-Interference Synchrophasor Estimation: the SOGI Interpolated DFT

Bridging Islands of Specialized Code using Macros and Reified Types

Self-Assembly: Lightweight Language Extension and Datatype Generic Programming, All-in-One!

Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems

Iterative-Interpolated DFT for Synchrophasor Estimation: A Single Algorithm for P- and M-Class Compliant PMUs

Composing Relaxed Transactions

A Hardware-in-the-Loop Test Platform for the Real-Time State Estimation of Active Distribution Networks using Phasor Measurement Units

A Scala Library for Testing Student Assignments on Concurrent Programming

Improving the Interoperation between Generics Translations