Sciweavers

4184 search results - page 10 / 837
» Names of Our Lives
Sort
View
JCM
2008
109views more  JCM 2008»
13 years 7 months ago
An Effective Approach for Live Media Streaming Based on BitTorrent
In this paper, we present a solution that incorporates BitTorrent mechanism into P2P streaming. In our solution, several modifications have been incorporated into BitTorrent to sup...
Qingchao Cai, Xuejie Zhang
IUI
2003
ACM
14 years 20 days ago
Intelligent user interfaces in the living room: usability design for personalized television applications
The purpose of this paper is to present our experience from the design of a personalized television application, and the implications for the design of interactive television appl...
Konstantinos Chorianopoulos, George Lekakos, Diomi...
CGO
2008
IEEE
14 years 1 months ago
Fast liveness checking for ssa-form programs
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
Benoit Boissinot, Sebastian Hack, Daniel Grund, Be...
POPL
2009
ACM
14 years 8 months ago
Verifying liveness for asynchronous programs
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...
Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko
CORR
2011
Springer
150views Education» more  CORR 2011»
13 years 2 months ago
Program Optimization Based Pointer Analysis and Live Stack-Heap Analysis
In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...
Mohamed A. El-Zawawy