4693 search results - page 859 / 939 » Verifying Hybrid Systems |
198
click to vote
ISSTA
2012
ACM
13 years 3 months ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...
139
click to vote
CN
2011
14 years 4 months ago
2011
Standard slow start does not work well under large bandwidthdelay product (BDP) networks. We find two causes of this problem in existing three popular operating systems, Linux, F...
118
click to vote
WWW
2005
ACM
16 years 1 months ago
2005
ACM
In this paper, we study the media workload collected from a large number of commercial Web sites hosted by a major ISP and that collected from a large group of home users connecte...
119
Voted
CCGRID
2009
IEEE
15 years 7 months ago
2009
IEEE
As high-end computing systems continue to grow in scale, the performance that applications can achieve on such large scale systems depends heavily on their ability to avoid explic...
125
Voted
CSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—In this paper we present a design methodology for the identification and development of a suitable hardware platform (including dedicated hardware accelerators) for the data pl...