291 search results - page 9 / 59 » Linear Types for Packet Processing |
ICFP
2010
ACM
13 years 7 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
We propose a novel distortion minimization technique for the transmission of a packetized progressive bitstream. We consider tandem channels introducing bit errors and packet eras...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
LISA
2008
13 years 9 months ago
2008
Signature matching, which includes packet classification and content matching, is the most expensive operation of a signature-based network intrusion detection system (NIDS). In t...