14 search results - page 3 / 3 » Automatic testing of TCP IP implementations using QuickCheck |
FPL
2005
Springer
13 years 10 months ago
2005
Springer
A hardware-accelerated algorithm has been designed to automatically identify the primary languages used in documents transferred over the Internet. The algorithm has been implemen...
IPOM
2007
Springer
13 years 11 months ago
2007
Springer
This paper presents a method for the distribution of video flows through several paths of an IP network. We call the approach multisource focusing on the fact that, from the recei...
CAI
2004
Springer
13 years 4 months ago
2004
Springer
A complete hardware implementation of an evolvable combinational unit for FPGAs is presented. The proposed combinational unit consisting of a virtual reconfigurable circuit and evo...
DATE
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract—The generation of device drivers is a very time consuming and error prone activity. All the strategies proposed up to now to simplify this operation require a manual, ev...