Sciweavers

4809 search results - page 45 / 962
» Scalable Analysis of Scalable Systems
Sort
View
PRESENCE
2007
156views more  PRESENCE 2007»
15 years 4 months ago
ATLAS: A Scalable Network Framework for Distributed Virtual Environments
A distributed virtual environment (DVE) is a software system that allows users on a network to interact with each other by sharing a common view of their states. As users are geog...
Dongman Lee, Mingyu Lim, Seunghyun Han, Kyungmin L...
SAS
2005
Springer
127views Formal Methods» more  SAS 2005»
15 years 10 months ago
Banshee: A Scalable Constraint-Based Analysis Toolkit
Abstract. We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resoluti...
John Kodumal, Alexander Aiken
SAC
2009
ACM
15 years 11 months ago
Fast mode decision for scalable video coding based on neighboring macroblock analysis
Gyeongeun Goh, Jinmi Kang, Misook Cho, Kidong Chun...
INFOCOM
2009
IEEE
15 years 11 months ago
Minimizing Probing Cost for Detecting Interface Failures: Algorithms and Scalability Analysis
— The automatic detection of failures in IP paths is an essential step for operators to perform diagnosis or for overlays to adapt. We study a scenario where a set of monitors se...
Hung Xuan Nguyen, Renata Teixeira, Patrick Thiran,...