Sciweavers

1773 search results - page 208 / 355
» The Visibility-Voronoi Complex and Its Applications
Sort
View
FTDCS
2003
IEEE
15 years 11 months ago
Analysis of Parallel Downloading for Large File Distribution
Recently, the scheme of parallel downloading (PD) has been adopted by a number of Internet file downloading applications. With the wide deployment of content distribution network...
Simon G. M. Koo, Catherine Rosenberg, Dongyan Xu
GLVLSI
2003
IEEE
153views VLSI» more  GLVLSI 2003»
15 years 11 months ago
FORCE: a fast and easy-to-implement variable-ordering heuristic
The MINCE heuristic for variable-ordering [1] successfully reduces the size of BDDs and can accelerate SAT-solving. Applications to reachability analysis have also been successful...
Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
SEW
2003
IEEE
15 years 11 months ago
Model-Based Software Testing via Incremental Treatment Learning
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
Dustin Geletko, Tim Menzies
WETICE
2003
IEEE
15 years 11 months ago
Design and Implementation of Virtual Private Services
Large scale distributed applications such as electronic commerce and online marketplaces combine network access with multiple storage and computational elements. The distributed r...
Sotiris Ioannidis, Steven M. Bellovin, John Ioanni...
SIGCOMM
2003
ACM
15 years 11 months ago
Forwarding in a content-based network
This paper presents an algorithm for content-based forwarding, an essential function in content-based networking. Unlike in traditional address-based unicast or multicast networks...
Antonio Carzaniga, Alexander L. Wolf