Sciweavers

1190 search results - page 131 / 238
» Scalable Active Matching
Sort
View
CPHYSICS
2008
106views more  CPHYSICS 2008»
13 years 8 months ago
A space-time-ensemble parallel nudged elastic band algorithm for molecular kinetics simulation
A scalable parallel algorithm has been designed to study long-time dynamics of many-atom systems based on the nudged elastic band method, which performs mutually constrained molec...
Aiichiro Nakano
FMSD
2008
110views more  FMSD 2008»
13 years 8 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur
JCM
2008
109views more  JCM 2008»
13 years 8 months ago
An Effective Approach for Live Media Streaming Based on BitTorrent
In this paper, we present a solution that incorporates BitTorrent mechanism into P2P streaming. In our solution, several modifications have been incorporated into BitTorrent to sup...
Qingchao Cai, Xuejie Zhang
JSA
2008
116views more  JSA 2008»
13 years 8 months ago
Analyzing composability of applications on MPSoC platforms
Modern day applications require use of multi-processor systems for reasons of performance, scalability and power efficiency. As more and more applications are integrated in a sing...
Akash Kumar, Bart Mesman, Bart D. Theelen, Henk Co...
NIPS
1997
13 years 9 months ago
Relative Loss Bounds for Multidimensional Regression Problems
We study on-line generalized linear regression with multidimensional outputs, i.e., neural networks with multiple output nodes but no hidden nodes. We allow at the final layer tra...
Jyrki Kivinen, Manfred K. Warmuth