353 search results - page 16 / 71 » Design of a scalable network programming framework |
HYBRID
2010
Springer
14 years 1 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
TCSV
2008
13 years 8 months ago
2008
Abstract--To effectively address the explosive growth of multimedia applications over the Internet, a large-scale media streaming system has to fully take into account the issues o...
IEEEPACT
2007
IEEE
14 years 3 months ago
2007
IEEE
Effective use of communication networks is critical to the performance and scalability of parallel applications. Partitioned Global Address Space languages like UPC bring the pro...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
— Multiple, independent robot platforms promise significant advantage with respect to robustness and flexibility. However, coordination between otherwise independent robots req...
SIGCOMM
2004
ACM
14 years 2 months ago
2004
ACM
This paper presents the design of Mercury, a scalable protocol for supporting multi-attribute rangebased searches. Mercury differs from previous range-based query systems in that...