Sciweavers

889 search results - page 130 / 178
» Cluster Tools
Sort
View
PDPTA
2004
13 years 9 months ago
ONSP: Parallel Overlay Network Simulation Platform
In research of overlay networks, simulator takes a very important role. However, popular simulators, such as ns and PlanetLab can't meet the scale and performance requirement ...
Yinghui Wu, Ming Li, Weimin Zheng
EAGC
2004
Springer
14 years 1 months ago
Monitoring Message-Passing Parallel Applications in the Grid with GRM and Mercury Monitor
Application monitoring in the grid for parallel applications is hardly supported in recent grid infrastructures. There is a need to visualize the behavior of the program during its...
Norbert Podhorszki, Zoltán Balaton, Gabor G...
CAV
2010
Springer
194views Hardware» more  CAV 2010»
14 years 5 days ago
LTSmin: Distributed and Symbolic Reachability
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
Stefan Blom, Jaco van de Pol, Michael Weber
FLAIRS
2003
13 years 9 months ago
Topic Extraction and Extension to Support Concept Mapping
Successful knowledge management may depend not only on knowledge capture, but on knowledge construction—on formulating new and useful knowledge that was not previously available...
David B. Leake, Ana Gabriela Maguitman, Thomas Rei...
ALMOB
2006
106views more  ALMOB 2006»
13 years 8 months ago
Multiple sequence alignment with user-defined anchor points
Background: Automated software tools for multiple alignment often fail to produce biologically meaningful results. In such situations, expert knowledge can help to improve the qua...
Burkhard Morgenstern, Sonja J. Prohaska, Dirk P&ou...