3742 search results - page 677 / 749 » On the Use of Formal Techniques for Validation |
159
click to vote
ICS
2009
Tsinghua U.
16 years 29 days ago
2009
Tsinghua U.
Iterative stencil loops (ISLs) are used in many applications and tiling is a well-known technique to localize their computation. When ISLs are tiled across a parallel architecture...
171
click to vote
NDSS
2009
IEEE
16 years 28 days ago
2009
IEEE
Linking network flows is an important problem in intrusion detection as well as anonymity. Passive traffic analysis can link flows but requires long periods of observation to r...
182
click to vote
INFOCOM
2009
IEEE
16 years 25 days ago
2009
IEEE
—We propose to use multiscale entropy analysis in characterisation of network traffic and spectrum usage. We show that with such analysis one can quantify complexity and predict...
178
click to vote
SIGCOMM
2009
ACM
16 years 21 days ago
2009
ACM
IPTV is increasingly being deployed and offered as a commercial service to residential broadband customers. Compared with traditional ISP networks, an IPTV distribution network (i...
200
click to vote
SIGMETRICS
2009
ACM
16 years 21 days ago
2009
ACM
Disseminating a piece of information, or updates for a piece of information, has been shown to benefit greatly from simple randomized procedures, sometimes referred to as gossipi...