5606 search results - page 521 / 1122 » Randomization Techniques for Graphs. |
230
click to vote
EUROPAR
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. We use a parallel direct solver based on the Schur complement method for solving large sparse linear systems arising from the finite element method. A domain decompositi...
176
click to vote
ECBS
2003
IEEE
16 years 5 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
172
click to vote
HICSS
2003
IEEE
16 years 5 days ago
2003
IEEE
Managers and group leaders of a community may not have enough information to help them direct the community development. In this paper, we adopt social network analysis, graph the...
159
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
— To overcome issues originating from the CMOS technology, a large-scale reconfigurable data-path (LSRDP) processor based on single-flux quantum circuits is introduced. LSRDP is ...
198
click to vote
ECBS
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper discusses an approach for top-down composition of software architectures. First, an architecture is derived that addresses functional requirements only. This architectu...