Publications related to State (computer science)

Digital Design with Implicit State Machines

Martin Odersky, Aleksandar Prokopec, Fengyun Liu

Claude Shannon, in his famous thesis (1938), revolutionized circuit design by showing that Boolean algebra subsumes all ad-hoc methods that are used in designing switching circuits, or combinational circuits as they are commonly known today. But what is ...

2020

Two-Dimensional RBF-ENO Method on Unstructured Grids

Jan Sickmann Hesthaven, Fabian Mönkeberg

Essentially non-oscillatory (ENO) and weighted ENO (WENO) methods on equidistant Cartesian grids are widely used to solve partial differential equations with discontinuous solutions. However, stable ENO/WENO methods on unstructured grids are less well stud ...

SPRINGER/PLENUM PUBLISHERS2020

Online parallel coordinates tool for optimal utility design in the dairy industry

François Maréchal, Ivan Daniel Kantor, Maziar Kermani, Anna Sophia Wallerand

Despite commonly reported potentials for emission reduction and efficiency increase, industrial heat pumps have yet to reach wide-scale employment in non-refrigeration appli- cations. The bottlenecks are identified as a general scepticism from process oper ...

2018

Automated Integration of Dual-Edge Clocking for Low-Power Operation in Nanometer Nodes

Andreas Peter Burg, Adam Shmuel Teman, Andrea Bonetti, Nicholas Alexander Preyss

Clocking power, including both clock distribution and registers, has long been one of the primary factors in the total power consumption of many digital systems. One straightforward approach to reduce this power consumption is to apply dual-edge-triggered ...

Association for Computing Machinery2017

Finite state encoders and decoders for vector signaling codes

Mohammad Amin Shokrollahi, Harm Cronie

In a chip-to-chip communication system and apparatus, a set of physical signals to be conveyed over a communication bus is provided, and mapped to a codeword of a vector signaling code using the physical signals and a state information, wherein a codeword ...

2014

Back to the Future: Fault-tolerant Live Update with Time-traveling State Transfer

Calin Iorgulescu

Live update is a promising solution to bridge the need to frequently update a software system with the pressing demand for high availability in mission-critical environments. While many research solutions have been proposed over the years, systems that all ...

The USENIX Association2013

A ReRAM-Based Non-Volatile Flip-Flop with Sub-VT Read and CMOS Voltage-Compatible Write

Giovanni De Micheli, Andreas Peter Burg, Davide Sacchetto, Pierre-Emmanuel Julien Marc Gaillardon, Pascal Andreas Meinerzhagen

The total power budget of Ultra-Low Power (ULP) VLSI Systems-on-Chip (SoCs) is often dominated by the leakage power of embedded memories and pipeline registers, which typically cannot be power-gated during sleep periods as they need to retain data and prog ...

2013

Querypoint : Moving Backwards on Wrong Values in the Buggy Execution

Claude Petitpierre, Salman Mirghasemi

As developers debug, they often have to seek the origins of wrong values they see in their debugger. This search must be performed backwards in time since the code causing the wrong value is executed before the wrong value appears. Therefore, locating the ...

2011

A procedure based on proper orthogonal decomposition for time-frequency analysis of time series

Giacomo Valerio Iungo

A procedure for time-frequency analysis of time series is described, which is mainly inspired by singular-spectrum analysis, but it presents some modifications that allow checking the convergence of the results and extracting the detected spectral componen ...

Springer Verlag2011

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

State (computer science)

Digital Design with Implicit State Machines

Two-Dimensional RBF-ENO Method on Unstructured Grids

Towards a Solution to the Red Wedding Problem

Online parallel coordinates tool for optimal utility design in the dairy industry

Automated Integration of Dual-Edge Clocking for Low-Power Operation in Nanometer Nodes

Finite state encoders and decoders for vector signaling codes

Back to the Future: Fault-tolerant Live Update with Time-traveling State Transfer

A ReRAM-Based Non-Volatile Flip-Flop with Sub-VT Read and CMOS Voltage-Compatible Write

Querypoint : Moving Backwards on Wrong Values in the Buggy Execution

A procedure based on proper orthogonal decomposition for time-frequency analysis of time series

Graph Chatbot

Chat with Graph Search

Digital Design with Implicit State Machines

Two-Dimensional RBF-ENO Method on Unstructured Grids

Automated Integration of Dual-Edge Clocking for Low-Power Operation in Nanometer Nodes

Towards a Solution to the Red Wedding Problem

Online parallel coordinates tool for optimal utility design in the dairy industry

Finite state encoders and decoders for vector signaling codes

Querypoint : Moving Backwards on Wrong Values in the Buggy Execution

A procedure based on proper orthogonal decomposition for time-frequency analysis of time series

Back to the Future: Fault-tolerant Live Update with Time-traveling State Transfer

A ReRAM-Based Non-Volatile Flip-Flop with Sub-VT Read and CMOS Voltage-Compatible Write