7280 search results - page 219 / 1456 » Optimization Techniques |
213
click to vote
HPDC
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we describe the integration of dynamic right-sizing — an automatic and scalable buffer management technique for enhancing TCP performance — into GridFTP, a sub...
227
click to vote
SIGIR
2012
ACM
13 years 9 months ago
2012
ACM
Versioned document collections are collections that contain multiple versions of each document. Important examples are Web archives, Wikipedia and other wikis, or source code and ...
186
click to vote
SIGMOD
2000
ACM
15 years 11 months ago
2000
ACM
Testing an SQL database system by running large sets of deterministic or stochastic SQL statements is common practice in commercial database development. However, code defects oft...
172
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
With an increasing use of data mining tools and techniques, we envision that a Knowledge Discovery and Data Mining System (KDDMS) will have to support and optimize for the followi...
165
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...