4965 search results - page 890 / 993 » A Simple Abstraction for Data Modeling |
153
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
125
click to vote
DSD
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...
154
click to vote
ICNP
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Multipath streaming protocols have recently attracted much attention because they provide an effective means to provide high-quality streaming over the Internet. However...
136
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—In large-scale peer-to-peer (P2P) live streaming systems with a limited supply of server bandwidth, increasing the amount of upload bandwidth supplied by peers becomes c...
148
click to vote
SIGMETRICS
2009
ACM
15 years 11 months ago
2009
ACM
We consider the problem of admission control in resource sharing systems, such as web servers and transaction processing systems, when the job size distribution has high variabili...