190 search results - page 31 / 38 » A Simple Proof Technique for Certain Parametricity Results |
NOMS
2008
IEEE
15 years 3 months ago
2008
IEEE
—In this paper, we propose a BGP anomaly detection framework called BAlet that delivers both temporal and spatial localization of the potential anomalies. It requires only a simp...
93
Voted
ICCS
2007
Springer
15 years 3 months ago
2007
Springer
A recent trend in modern high performance computing (HPC) system architectures employs “lean” compute nodes running a lightweight operating system (OS). Certain parts of the OS...
ERCIMDL
1997
Springer
15 years 1 months ago
1997
Springer
It is argued that digital libraries of the future will contain terabyte-scale collections of digital text and that full-text searching techniques will be required to operate over c...
SIGMETRICS
2002
ACM
14 years 9 months ago
2002
ACM
Probability distributions of response times are important in the design and analysis of transaction processing systems and computercommunication systems. We present a general tech...
125
click to vote
TEC
2010
14 years 4 months ago
2010
Niching is an important technique for multimodal optimization. Most existing niching methods require specification of certain niching parameters in order to perform well. These nic...