4693 search results - page 268 / 939 » Verifying Hybrid Systems |
221
click to vote
DSOM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a novel hybrid planning approach for the automated generation of IT change plans. The algorithm addresses an abstraction mismatch between refinement of tasks ...
191
click to vote
ECRTS
2007
IEEE
16 years 29 days ago
2007
IEEE
We propose a hybrid approach for scheduling real-time tasks on large-scale multicore platforms with hierarchical shared caches. In this approach, a multicore platform is partition...
130
click to vote
ICC
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— We propose a hybrid ARQ scheme using recursive convolutional codes and the turbo principle. In the first transmission the system encodes the data through a systematic ...
119
click to vote
IHM
2005
ACM
16 years 6 days ago
2005
ACM
The paper presents a novel technique for the exploration of an information space where elements are associated with a taxonomy and where each element has an associated attribute v...
186
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we investigate the e ectiveness of applying type-II hybrid ARQ schemes to the transmission of MPEG-2 encoded video streams over xed wireless links in broadband xed ...