Sciweavers

1136 search results - page 102 / 228
» Functional Validation in Grid Computing
Sort
View
IPPS
2008
IEEE
15 years 7 months ago
On the Effectiveness of Rebuilding RNA Secondary Structures from Sequence Chunks
Despite the computing power of emerging technologies, predicting long RNA secondary structures with thermodynamics-based methods is still infeasible, especially if the structures ...
Michela Taufer, Thamar Solorio, Abel Licon, David ...
92
Voted
HYBRID
2009
Springer
15 years 4 months ago
Trajectory Based Verification Using Local Finite-Time Invariance
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
A. Agung Julius, George J. Pappas
CCGRID
2008
IEEE
15 years 7 months ago
Modeling "Just-in-Time" Communication in Distributed Real-Time Multimedia Applications
—The research area of Multimedia Content Analysis (MMCA) considers all aspects of the automated extraction of new knowledge from large multimedia data streams and archives. In re...
R. Yang, Robert D. van der Mei, D. Roubos, Frank J...
95
Voted
VVS
2000
IEEE
130views Visualization» more  VVS 2000»
15 years 4 months ago
A practical evaluation of popular volume rendering algorithms
This paper evaluates and compares four volume rendering algorithms that have become rather popular for rendering datasets described on uniform rectilinear grids: raycasting, splat...
Michael Meißner, Jian Huang, Dirk Bartz, Kla...
121
Voted
IPPS
2005
IEEE
15 years 6 months ago
Evaluation of Rate-Based Adaptivity in Asynchronous Data Stream Joins
Continuous query systems are an intuitive way for users to access streaming data in large-scale scientific applications containing many hundreds of streams. A challenge in these ...
Beth Plale, Nithya N. Vijayakumar