291 search results - page 32 / 59 » Linear Types for Packet Processing |
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
—Optimizing sequential cycles is essential for many types of high-performance circuits, such as pipelines for packet processing. Retiming is a powerful technique for speeding pip...
CONEXT
2007
ACM
13 years 9 months ago
2007
ACM
Network intrusion detection systems typically detect worms by examining packet or flow logs for known signatures. Not only does this approach mean worms cannot be detected until ...
NSDI
2010
13 years 9 months ago
2010
Existing flooding algorithms have demonstrated their effectiveness in achieving communication efficiency and reliability in wireless sensor networks. However, further performance ...
ERSHOV
1999
Springer
13 years 12 months ago
1999
Springer
The traditional representation of a program is as a linear sequence of text. At some stage in the execution sequence the source text is checked for type correctness and its transla...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
Traffic burstiness has a significant impact on network performance. Burstiness can cause buffer overflows and packet drops and is particularly problematic in the context of small-b...