291 search results - page 12 / 59 » Linear Types for Packet Processing |
121
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
Application Layer Forward Error Correction (AL)-FEC is increasingly being employed in the emerging wireless multimedia applications, where the multimedia data is sent along with r...
125
Voted
SAMOS
2007
Springer
15 years 8 months ago
2007
Springer
—Current FPGAs provide a powerful platform for network processing applications. The main challenge is the exploitation of the reconfiguration to increase the performance of the s...
95
Voted
ICIP
2006
IEEE
16 years 3 months ago
2006
IEEE
SP-frame is a new picture type of H.264 that can identically reconstruct a picture using any one of several reference frames. In this paper, we discuss how this property can be ex...
115
Voted
POPL
2010
ACM
15 years 11 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
102
Voted
CISIS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...