Concept
État (informatique)
Publications associées (19)
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 ...
2020Two-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 PUBLISHERS2020Towards a Solution to the Red Wedding Problem
Edge computing promises lower latency interactions for clients operating at the edge by shifting computation away from Data Centers to Points of Presence which are more abundant and located geographically closer to end users. However, most commercially ava ...
2018Online 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 ...
2018Automated 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 Machinery2017Finite 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 ...
2014Back to the Future: Fault-tolerant Live Update with Time-traveling State Transfer
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 Association2013A 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 ...
2013Querypoint : 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 ...
2011A procedure based on proper orthogonal decomposition for time-frequency analysis of time series
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