5639 search results - page 202 / 1128 » Timed Abstract Non-interference |
171
Voted
VISSYM
2007
15 years 5 months ago
2007
The dataset generated by a large-scale numerical simulation may include thousands of timesteps and hundreds of variables describing different aspects of the modeled physical pheno...
141
click to vote
NSDI
2007
15 years 4 months ago
2007
Ricochet is a low-latency reliable multicast protocol designed for time-critical clustered applications. It uses IP Multicast to transmit data and recovers from packet loss in end...
135
Voted
ASPDAC
2008
ACM
15 years 4 months ago
2008
ACM
Abstract-- Increasing delay and power variation are significant challenges to the designers as technology scales to the deep sub-micron (DSM) regime. Traditional module selection t...
155
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Abstract— In this paper, collocated and distributed spacetime block codes (DSTBCs) which admit multi-group maximum likelihood (ML) decoding are studied. First the collocated case...
154
Voted
RTAS
2010
IEEE
15 years 28 days ago
2010
IEEE
Abstract—Recent results have shown that the feasibility problem of scheduling periodic tasks with self-suspensions is NPhard in the strong sense. We observe that a variation of t...