Sciweavers

7773 search results - page 1372 / 1555
» On generalized Frame-Stewart numbers
Sort
View
NETWORKS
2010
14 years 8 months ago
A branch-and-cut algorithm for partition coloring
Let G = (V, E, Q) be a undirected graph, where V is the set of vertices, E is the set of edges, and Q = {Q1, . . . , Qq} is a partition of V into q subsets. We refer to Q1, . . . ...
Yuri Frota, Nelson Maculan, Thiago F. Noronha, Cel...
NOSSDAV
2010
Springer
14 years 8 months ago
Reducing data request contentions for improved streaming quality
In P2P assisted multi-channel live streaming systems, it is commonly believed that in unpopular channels, quality degradation is due to the small number of participating peers wit...
Yao Liu, Fei Li, Lei Guo, Songqing Chen
OOPSLA
2010
Springer
14 years 8 months ago
Task types for pervasive atomicity
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...
Aditya Kulkarni, Yu David Liu, Scott F. Smith
PASTE
2010
ACM
14 years 8 months ago
Property-aware program sampling
Monitoring or profiling programs provides us with an understanding for its further improvement and analysis. Typically, for monitoring or profiling, the program is instrumented ...
Harish Narayanappa, Mukul S. Bansal, Hridesh Rajan
PERSUASIVE
2010
Springer
14 years 8 months ago
Personality and Persuasive Technology: An Exploratory Study on Health-Promoting Mobile Applications
Though a variety of persuasive health applications have been designed with a preventive standpoint toward diseases in mind, many have been designed largely for a general audience. ...
Sajanee Halko, Julie A. Kientz
« Prev « First page 1372 / 1555 Last » Next »