Sciweavers

4041 search results - page 119 / 809
» time 2009
Sort
View
DATE
2009
IEEE
92views Hardware» more  DATE 2009»
16 years 1 months ago
WCRT algebra and interfaces for esterel-style synchronous processing
—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...
CLEF
2009
Springer
15 years 7 months ago
UAIC: Participation in CLEF-IP Track
The CLEF-IP track was launched in 2009 to investigate IR techniques for patent retrieval. It is part of the CLEF 2009 evaluation campaign. Also, in 2009 we built a system in order ...
Adrian Iftene, Ovidiu Ionescu, George-Razvan Oance...
FSTTCS
2009
Springer
16 years 1 months ago
The Covering and Boundedness Problems for Branching Vector Addition Systems
The covering and boundedness problems for branching vector addition systems are shown complete for doubly-exponential time.
Stéphane Demri, Marcin Jurdzinski, Oded Lac...
CDC
2009
IEEE
15 years 11 months ago
Dynamic practical stabilization of sampled-data linear distributed parameter systems
Abstract— In this paper, dynamic practical stability properties of infinite-dimensional sampled-data systems are discussed. A family of finite-dimensional discrete-time control...
Ying Tan, Emmanuel Trélat, Yacine Chitour, ...
ASPDAC
2009
ACM
131views Hardware» more  ASPDAC 2009»
16 years 1 months ago
A 1 GHz CMOS comparator with dynamic offset control technique
− A dynamic offset control technique that employs charge compensation by timing control is proposed for comparator design in scaled CMOS technology. The analysis has
Xiaolei Zhu, Sanroku Tsukamoto, Tadahiro Kuroda