Sciweavers

2561 search results - page 417 / 513
» Enhanced Quicksort Algorithm
Sort
View
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 7 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
156
Voted
ICIP
2000
IEEE
15 years 7 months ago
Switched Error Concealment and Robust Coding Decisions in Scalable Video Coding
This work introduces two complementary techniques to improve the packet loss resilience of scalable video coding systems. First, a “switch per-pixel” error concealment (SPEC) ...
Rui Zhang, Shankar L. Regunathan, Kenneth Rose
INFOCOM
2000
IEEE
15 years 7 months ago
Balanced Packet Discard for Improving TCP Performance in ATM Networks
TCP suffers from low performance over asynchronous transfer mode (ATM) networks. This is mainly because during phases of congestion, ATM drops cells without taking into account th...
Reuven Cohen, Yaniv Hamo
135
Voted
TOOLS
2000
IEEE
15 years 7 months ago
Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
Benoit Baudry, Vu Le Hanh, Yves Le Traon
SC
2000
ACM
15 years 7 months ago
Performance Modeling and Tuning of an Unstructured Mesh CFD Application
This paper describes performance tuning experiences with a three-dimensional unstructured grid Euler flow code from NASA, which we have reimplemented in the PETSc framework and p...
William Gropp, Dinesh K. Kaushik, David E. Keyes, ...