Sciweavers

231 search results - page 28 / 47
» Parallel algorithms for indefinite linear systems
Sort
View
ICPR
2006
IEEE
16 years 23 days ago
Automatic Estimation of 3D Transformations using Skeletons for Object Alignment
An algorithm for automatic estimation of 3D transformations between two objects is presented in this paper. Skeletons of the 3D objects are created with a fully parallel thinning ...
Anup Basu, Tao Wang
CONCUR
1997
Springer
15 years 3 months ago
Modularity for Timed and Hybrid Systems
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
Rajeev Alur, Thomas A. Henzinger
98
Voted
ARC
2008
Springer
115views Hardware» more  ARC 2008»
15 years 1 months ago
A High Throughput FPGA-based Floating Point Conjugate Gradient Implementation
As Field Programmable Gate Arrays (FPGAs) have reached capacities beyond millions of equivalent gates, it becomes possible to accelerate floating-point scientific computing applica...
Antonio Roldao Lopes, George A. Constantinides
88
Voted
ICDCS
1995
IEEE
15 years 3 months ago
A Competitive Analysis for Retransmission Timeout
Protocols that provide reliable communicationon top of a network that can lose packets rely on periodically retransmitting packets. The choice of retransmission timeout critically...
Shlomi Dolev, Michael Kate, Jennifer L. Welch
105
Voted
ICPP
1999
IEEE
15 years 4 months ago
SLC: Symbolic Scheduling for Executing Parameterized Task Graphs on Multiprocessors
Task graph scheduling has been found effective in performance prediction and optimization of parallel applications. A number of static scheduling algorithms have been proposed for...
Michel Cosnard, Emmanuel Jeannot, Tao Yang