10051 search results - page 193 / 2011 » A Dynamic Separator Algorithm |
193
click to vote
SIGOPS
2011
15 years 13 hour ago
2011
While application performance and power-efficiency are both important, application correctness is even more important. In other words, if the application is misbehaving, it is li...
152
click to vote
DATAMINE
2006
15 years 5 months ago
2006
Different from traditional association-rule mining, a new paradigm called Ratio Rule (RR) was proposed recently. Ratio rules are aimed at capturing the quantitative association kno...
140
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, first order diffusion load balancing algorithms for totally dynamic networks are investigated. Totally dynamic networks are networks in which the topology may chan...
150
click to vote
ICFP
1997
ACM
15 years 9 months ago
1997
ACM
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...
115
click to vote
ESOP
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...