In this paper, we present a new method for verifying the realizability of a timing diagram with linear timing constraints, thus ensuring that the implementation of the underlying interface is feasible. The method is based on the consistency of the timing constraints derived from the timing diagram and accepts unknown occurrence times for events produced by the environment.

This work introduces capacity limits for molecular timing (MT) channels, where information is modulated on the release timing of small information particles, and decoded from the time of arrival at the receiver. It is shown that the random time of arrival can be represented as an additive noise channel, and for the diffusion-based MT (DBMT) channel this noise is distributed according to the Lév...

Post-silicon tuning is attracting a lot of attention for coping with increasing process variation. However, its tuning cost via testing is still a crucial problem. In this paper, we propose tuning-friendly body bias clustering with multiple bias voltages. The proposed method provides a small set of compensation levels so that the speed and leakage current vary monotonically according to the lev...

In this paper we address the parallel timing simulation of synchronous VLSI designs on a network of workstations (NOWs). We suggest combining cycle based and conventional timing simulation techniques to achieve fast timing simulation even on NOWs which are typically characterized by low bandwidth and high communication latency. In particular we execute a timing simulator on each node of the NOW...

background and purpose: sleep disorders are a common problem in patients undergoing hemodialysis. poor sleep quality is considered as a potential predictor for mortality and reduced quality of life in these patients. this study aimed to evaluate subjective sleep quality in hemodialysis patients and its association with hemodialysis timing. methods: this descriptive-correlational study was condu...

We present a unified technique for timing verification and performance analysis of complex asynchronous circuits designed with implicit timing assumptions. We model interacting asynchronous controllers and datapath elements using timing constraint graphs. Performance metrics and circuit timing constraints to be checked are formulated as time separations between appropriate events. Time separati...

This text gives an overview about my current research in timing analysis at the Vienna University of Technology. After a short introduction to the topic follows the description of an approach relying on CLP, the implicit path enumeration technique (IPET). This technique is also used in a tool developed at the institute of Computer Languages (TuBound). Current timing analysis tools suffer from a...

The purpose of this paper is to examine the determinants of the timing of bank failure/merger in 10 Asian countries over the period of 1999-2007 using a multivariate logit model and a split population duration analysis. Apart from bank-specific information, we also focus on the effects of macroeconomic and financial characteristics. The following empirical findings are obtained. First, the resu...

This study aims to better understand the effect of practice schedule and feedback providing types. In two separate experiments the contextual interference effect in bandwidth and self-control feedback conditions on relative and absolute timing learning was examined. In experiment I, the effect of contextual interference using bandwidth and self-control feedback on absolute timing learning (para...

Recent findings suggest that large-scale remodeling of three dimensional (3D) chromatin architecture occurs during a brief period in early G1 phase termed the replication timing decision point (TDP). In this speculative article, I suggest that the TDP may represent an as yet unappreciated window of opportunity for extracellular cues to influence 3D architecture during stem cell fate decisions. ...