Sciweavers

1188 search results - page 38 / 238
» Cluster tool simulation assists the system design
Sort
View
INFOCOM
2009
IEEE
15 years 4 months ago
NetTube: Exploring Social Networks for Peer-to-Peer Short Video Sharing
—The recent three years have witnessed an explosion of networked video sharing, represented by YouTube, as a new killer Internet application. Their sustainable development howeve...
Xu Cheng, Jiangchuan Liu
ARITH
2005
IEEE
15 years 3 months ago
Guaranteed Proofs Using Interval Arithmetic
This paper presents a set of tools for mechanical reasoning of numerical bounds using interval arithmetic. The tools implement two techniques for reducing decorrelation: interval ...
Marc Daumas, Guillaume Melquiond, César Mu&...
ICC
2007
IEEE
120views Communications» more  ICC 2007»
15 years 4 months ago
Contention-Based Medium Access Control with Physical Layer Assisted Link Differentiation
— In this paper, we develop contention-based medium access control (MAC) schemes for both best-effort data transmissions and delay-sensitive multimedia transmissions over WLANs. ...
Fanglei Sun, Victor O. K. Li, Zhifeng Diao, Zhengy...
WSC
2008
15 years 1 days ago
Better than a petaflop: The power of efficient experimental design
Recent advances in high-performance computing have pushed computational capabilities to a petaflop (a thousand trillion operations per second) in a single computing cluster. This ...
Susan M. Sanchez
ECRTS
1998
IEEE
15 years 2 months ago
Tool-supported hierarchical design of distributed real-time systems
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
Henning Dierks, Josef Tapken