—The synchronous model of computation together with a suitable execution platform facilitates system-level timing predictability. This paper introduces an algebraic framework for...
Michael Mendler, Reinhard von Hanxleden, Claus Tra...
— We propose a novel synthesis method of a dual-rail asynchronous two-level logic of reduced cost. It is based on a model that operates under so called modified weak constraints....
Interoperability testing is an inherently distributed task. It connects different implementations together and determines if they interact according to their specifications, prov...
Ariel Sabiguero, Anthony Baire, Antoine Boutet, C&...
In an effort to improve our understanding of the way we work, my team grouped together ideas from various sources to come up with an estimation scheme that avoided the confusing n...
This paper describes attempts at constructing an automatic sleep stage classifier using EEG recordings. Three different feature extraction schemes were compared together with two...
Steinn Gudmundsson, Thomas Philip Runarsson, Sven ...