Sciweavers

12981 search results - page 2332 / 2597
» Model Checking (Abstract)
Sort
View
HIPEAC
2007
Springer
15 years 8 months ago
Sunflower :  Full-System, Embedded Microarchitecture Evaluation
Abstract. This paper describes Sunflower, a full-system microarchitectural evaluation environment for embedded computing systems. The environment enables detailed microarchitectura...
Phillip Stanley-Marbell, Diana Marculescu
HYBRID
2007
Springer
15 years 8 months ago
On Self-triggered Full-Information H-Infinity Controllers
Abstract. A self-triggered control task is one in which the task determines its next release time. It has been conjectured that self-triggering can relax the requirements on a real...
Michael D. Lemmon, Thidapat Chantem, Xiaobo Sharon...
ICC
2007
IEEE
104views Communications» more  ICC 2007»
15 years 8 months ago
Self-Interference Suppression in Doubly-Selective Channel Estimation Using Superimposed Training
Abstract-- Channel estimation for frequency-selective timevarying channels is considered using superimposed training. We employ a discrete prolate spheroidal basis expansion model ...
Shuangchi He, Jitendra K. Tugnait
ICDT
2007
ACM
118views Database» more  ICDT 2007»
15 years 8 months ago
Approximate Data Exchange
Abstract. We introduce approximate data exchange, by relaxing classical data exchange problems such as Consistency and Typechecking to their approximate versions based on Property ...
Michel de Rougemont, Adrien Vieilleribière
MMM
2010
Springer
154views Multimedia» more  MMM 2010»
15 years 8 months ago
Learning Cooking Techniques from YouTube
Abstract. Cooking is a human activity with sophisticated process. Underlying the multitude of culinary recipes, there exist a set of fundamental and general cooking techniques, suc...
Guangda Li, Richang Hong, Yantao Zheng, Shuicheng ...
« Prev « First page 2332 / 2597 Last » Next »