12981 search results - page 2332 / 2597 » Model Checking (Abstract) |
125
click to vote
HIPEAC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper describes Sunflower, a full-system microarchitectural evaluation environment for embedded computing systems. The environment enables detailed microarchitectura...
130
click to vote
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
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...
131
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract-- Channel estimation for frequency-selective timevarying channels is considered using superimposed training. We employ a discrete prolate spheroidal basis expansion model ...
129
click to vote
ICDT
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. We introduce approximate data exchange, by relaxing classical data exchange problems such as Consistency and Typechecking to their approximate versions based on Property ...
123
click to vote
MMM
2010
Springer
15 years 8 months ago
2010
Springer
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...