Sciweavers

2226 search results - page 378 / 446
» Scalable Trigger Processing
Sort
View
ICFEM
2010
Springer
15 years 4 months ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...
INFOCOM
2010
IEEE
15 years 4 months ago
BGP Churn Evolution: a Perspective from the Core
—The scalability limitations of BGP have been a major concern in the networking community lately. An important issue in this respect is the rate of routing updates (churn) that B...
Ahmed Elmokashfi, Amund Kvalbein, Constantine Dovr...
JMLR
2010
135views more  JMLR 2010»
15 years 4 months ago
Bundle Methods for Regularized Risk Minimization
A wide variety of machine learning problems can be described as minimizing a regularized risk functional, with different algorithms using different notions of risk and differen...
Choon Hui Teo, S. V. N. Vishwanathan, Alex J. Smol...
NOMS
2010
IEEE
154views Communications» more  NOMS 2010»
15 years 4 months ago
Extending a knowledge-based network to support temporal event reasoning
—While the polling or request/response paradigm adopted by many network and systems management approaches form the backbone of modern monitoring and management systems, the most ...
John Keeney, Clay Stevens, Declan O'Sullivan
PAAPP
2010
131views more  PAAPP 2010»
15 years 4 months ago
Accurately measuring overhead, communication time and progression of blocking and nonblocking collective operations at massive s
Accurate, reproducible and comparable measurement of the overheads, communication times and progression behavior of blocking and nonblocking collective operations is a complicated...
Torsten Hoefler, Timo Schneider, Andrew Lumsdaine