Sciweavers

2689 search results - page 208 / 538
» ParalleX: A Study of A New Parallel Computation Model
Sort
View
GRID
2006
Springer
15 years 6 months ago
Flexible and Secure Logging of Grid Data Access
-- In Grid collaborations, scientists use middleware to execute computational experiments, visualize results, and securely share data on resources ranging from desktop machines to ...
Weide Zhang, David Del Vecchio, Glenn S. Wasson, M...
SPIN
2007
Springer
16 years 23 days ago
Generating Counter-Examples Through Randomized Guided Search
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
Neha Rungta, Eric G. Mercer
CVPR
2012
IEEE
13 years 9 months ago
Robust visual tracking using autoregressive hidden Markov Model
Recent studies on visual tracking have shown significant improvement in accuracy by handling the appearance variations of the target object. Whereas most studies present schemes ...
Dong Woo Park, Junseok Kwon, Kyoung Mu Lee
GRID
2007
Springer
16 years 25 days ago
A robust PDE solver for the 3D Stokes/Navier-Stokes systems on the grid environment
Since grid computing provides users with more distributed computing and storage resources, it gives us an opportunity to design new efficient and robust solvers for the numerical...
Huidong Yang, Walter Zulehner, Ulrich Langer, Mark...
DAC
1997
ACM
15 years 11 months ago
Zeros and Passivity of Arnoldi-Reduced-Order Models for Interconnect Networks
CAD tools and research in the area of reduced-order modeling of largelinearinterconnect networkshaveevolved from merely finding a Pad´e approximation for the given network trans...
Ibrahim M. Elfadel, David D. Ling