1541 search results - page 281 / 309 » Tools and Techniques for Model Checking Networked Programs |
118
click to vote
JMLR
2012
13 years 2 months ago
2012
Grid search and manual search are the most widely used strategies for hyper-parameter optimization. This paper shows empirically and theoretically that randomly chosen trials are ...
108
Voted
LISA
2007
15 years 2 months ago
2007
An operating system’s readahead and buffer-cache behaviors can significantly impact application performance; most often these better performance, but occasionally they worsen it...
129
Voted
HPDC
1997
IEEE
15 years 4 months ago
1997
IEEE
High-performance execution in distributed computing environments often requires careful selection and configuration not only of computers, networks, and other resources but also o...
102
Voted
WSC
2001
15 years 1 months ago
2001
Supply chain decisions are improved with access to global information. However, supply chain partners are frequently hesitant to provide full access to all the information within ...
114
Voted
FIW
2000
15 years 1 months ago
2000
While Internet telephony aims to provide services at least equal to traditional telephony, the architecture of Internet telephony is sufficiently different to make it necessary to ...