4520 search results - page 88 / 904 » Algebraic Techniques for Timed Systems |
SIGOPS
2008
15 years 1 months ago
2008
The layered design of the Linux operating system hides the liveness of file system data from the underlying block layers. This lack of liveness information prevents the storage sy...
MICRO
2003
IEEE
15 years 7 months ago
2003
IEEE
Detecting program phase changes accurately is an important aspect of dynamically adaptable systems. Three dynamic program phase detection techniques are compared – using instruc...
DCC
2002
IEEE
16 years 1 months ago
2002
IEEE
Conventional digital video playback systems provide only limited user interactivity, mostly in the form of VCRlike controls such as fast forward/backward, slow motion, pause/stop,...
141
click to vote
EMSOFT
2009
Springer
15 years 8 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
107
click to vote
VTC
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract-In fast time varying systems, the problem of acquiring the channel coefficients required for symbol decoding commonly arises. A method of resolving this problem is the use...