6020 search results - page 1065 / 1204 » A New Approach to Model Counting |
149
click to vote
EDO
2005
Springer
15 years 11 months ago
2005
Springer
Middleware is often built using a layered architectural style. Layered design provides good separation of the different concerns of middleware, such as communication, marshaling, ...
144
click to vote
GCB
2005
Springer
15 years 11 months ago
2005
Springer
Motivation: With the increasing availability of protein structures, the generation of biologically meaningful 3D patterns from the simultaneous alignment of several protein struct...
156
click to vote
GD
2005
Springer
15 years 11 months ago
2005
Springer
Clustered graph is a very useful model for drawing large and complex networks. This paper presents a new method for drawing clustered graphs in three dimensions. The method uses a ...
189
click to vote
HPCC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We improve the performance of sparse matrix-vector multiplication (SpMV) on modern cache-based superscalar machines when the matrix structure consists of multiple, irregu...
164
click to vote
ICN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Scalable group key management solutions are crucial for supporting Internet applications that are based on a group communication model. Many solutions have been proposed ...