291 search results - page 12 / 59 » Linear Types for Packet Processing |
ICASSP
2011
IEEE
12 years 11 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...
SAMOS
2007
Springer
14 years 1 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...
ICIP
2006
IEEE
14 years 9 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...
POPL
2010
ACM
14 years 4 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...
CISIS
2009
IEEE
14 years 2 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...