17185 search results - page 369 / 3437 » Computational and Quantitative Studies |
217
click to vote
USENIX
2000
15 years 9 months ago
2000
Benchmarks have historically played a key role in guiding the progress of computer science systems research and development, but have traditionally neglected the areas of availabi...
224
Voted
JNSM
2000
15 years 7 months ago
2000
In this paper, we consider wide-area backbone networks where multiple connection-oriented guaranteed services with differing bandwidth/flow requirements are offered. Specifically,...
208
click to vote
FUIN
2010
15 years 6 months ago
2010
From an empirical point of view, the hardness of quantified Boolean formulas (QBFs), can be characterized by the (in)ability of current state-of-the-art QBF solvers to decide abo...
217
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
One reasonable categorization of coordination models is into data sharing or message passing, based on whether the information necessary to coordination is persistently stored and...
197
click to vote
PERCOM
2010
ACM
15 years 6 months ago
2010
ACM
—We discuss the applicability of IEEE 802.15.4 for application in industrial automation. Based on the specific requirements in this field, especially w.r.t. real-time operation...