1299 search results - page 152 / 260 » EMC - A modeling method for developing web-based application... |
147
click to vote
PARA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We consider parallel preconditioning schemes to accelerate the convergence of Conjugate Gradients (CG) for sparse linear system solution. We develop methods for construct...
133
click to vote
ENTCS
2002
15 years 4 months ago
2002
This paper introduces coalgebraic monads as a unified model of term algebras covering fundamental examples such as initial algebras, final coalgebras, rational terms and term grap...
116
click to vote
KDD
2009
ACM
15 years 9 months ago
2009
ACM
Learning temporal graph structures from time series data reveals important dependency relationships between current observations and histories. Most previous work focuses on learn...
186
click to vote
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
128
click to vote
IC
2003
15 years 5 months ago
2003
Abstract— In this paper, we develop methods to “sample” a large real network into a small realistic graph. Although topology modeling has received a lot attention lately, it ...