4979 search results - page 215 / 996 » Batch codes and their applications |
183
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
The erasure resilience of rateless codes, such as Luby-Transform (LT) codes, makes them particularly suitable to a wide variety of loss-prone wireless and sensor network applicati...
195
click to vote
TPHOL
2007
IEEE
16 years 25 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
142
click to vote
IWPC
2005
IEEE
16 years 4 days ago
2005
IEEE
Source code can be viewed in many ways, with each view facilitating access to different information contained within the code. In this working session, we will explore the role th...
166
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents a tool for exploring different parallelization options for an application. It can be used to quickly find a high-quality match between an application and a ...
159
click to vote
EUROPAR
2009
Springer
16 years 1 months ago
2009
Springer
Automatic performance tuning (auto-tuning) has been used in parallel numerical applications for adapting performance-relevant parameters. We extend auto-tuning to general-purpose ...