5376 search results - page 816 / 1076 » Scalable Kernel Systems |
206
click to vote
CN
2010
15 years 4 months ago
2010
The rapid growth of broadband access has popularized multimedia services, which nowadays contribute to a large part of Internet traffic. Among this content, the broadcasting of li...
214
click to vote
MSR
2011
ACM
14 years 9 months ago
2011
ACM
Modern software is often developed over many years with hundreds of thousands of commits. Commit metadata is a rich source of social characteristics, including the commit’s time...
227
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
199
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
– Maximizing consolidation ratio, the number of virtual machines (VMs) in a physical machine, without violating customers’ SLAs is an important goal in the cloud. We show that ...
175
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
A wide range of different capabilities and connection qualities typically characterizes receivers of mobile television services. Receiver driven layered multicast (RDLM) offers an...