Sciweavers

4860 search results - page 435 / 972
» SNPs Problems, Complexity, and Algorithms
Sort
View
DAC
1994
ACM
15 years 8 months ago
BDD Variable Ordering for Interacting Finite State Machines
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
Adnan Aziz, Serdar Tasiran, Robert K. Brayton
ACIVS
2006
Springer
15 years 7 months ago
Fast Multi-view Disparity Estimation for Multi-view Video Systems
Disparity estimation can be used to eliminate redundancy among different views in multi-view video compression to obtain high compression efficiency. However, the problem of high c...
Gangyi Jiang, Mei Yu, Feng Shao, You Yang, Haitao ...
157
Voted
OPODIS
2007
15 years 5 months ago
Brute-Force Determination of Multiprocessor Schedulability for Sets of Sporadic Hard-Deadline Tasks
This report describes a necessary and sufficient test for the schedulability of a set of sporadic harddeadline tasks on a multiprocessor platform, using any of a variety of schedu...
Theodore P. Baker, Michele Cirinei
WSC
2004
15 years 5 months ago
An Event Graph Based Simulation and Scheduling Analysis of Multi-Cluster Tools
Simulation methods are extensively used in modeling complex scheduling problems. However, traditional layout of simulation models can become complicated when they are used to find...
Shengwei Ding, Jingang Yi
107
Voted
IBMRD
2006
58views more  IBMRD 2006»
15 years 3 months ago
Self-adapting numerical software (SANS) effort
The challenge for the development of next generation software is the successful management of the complex computational environment while delivering to the scientist the full powe...
Jack Dongarra, George Bosilca, Zizhong Chen, Victo...