Sciweavers

1942 search results - page 300 / 389
» HINT: A new way to measure computer performance
Sort
View
SEFM
2007
IEEE
16 years 18 days ago
Hardness for Explicit State Software Model Checking Benchmarks
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
Neha Rungta, Eric G. Mercer
AINA
2006
IEEE
16 years 12 days ago
Equation Based Congestion Control for Video Transmission over WCDMA Networks
The scheme of real time streaming video is one of the newcomers in wireless data communication, raising a number of new requirements in both telecommunication and data communicati...
Antonios G. Alexiou, Dimitrios Antonellis, Christo...
SIGCOMM
2006
ACM
16 years 8 days ago
In VINI veritas: realistic and controlled network experimentation
This paper describes VINI, a virtual network infrastructure that allows network researchers to evaluate their protocols and services in a realistic environment that also provides ...
Andy C. Bavier, Nick Feamster, Mark Huang, Larry L...
CVPR
2010
IEEE
1171views Computer Vision» more  CVPR 2010»
15 years 12 months ago
Topic-Regression Multi-Modal Latent Dirichlet Allocation for Image Annotation
We present topic-regression multi-modal Latent Dirichlet Allocation (tr-mmLDA), a novel statistical topic model for the task of image and video annotation. At the heart of our new...
Duangmanee Putthividhya, Hagai Attias, Srikantan N...
NDSS
2005
IEEE
15 years 12 months ago
MOVE: An End-to-End Solution to Network Denial of Service
We present a solution to the denial of service (DoS) problem that does not rely on network infrastructure support, conforming to the end-to-end (e2e) design principle. Our approac...
Angelos Stavrou, Angelos D. Keromytis, Jason Nieh,...