Sciweavers

314 search results - page 34 / 63
» Heuristics in Conflict Resolution
Sort
View
ASPDAC
2006
ACM
100views Hardware» more  ASPDAC 2006»
15 years 3 months ago
Generation of shorter sequences for high resolution error diagnosis using sequential SAT
Commonly used pattern sources in simulation-based verification include random, guided random, or design verification patterns. Although these patterns may help bring the design ...
Sung-Jui (Song-Ra) Pan, Kwang-Ting Cheng, John Moo...
CODES
1998
IEEE
15 years 2 months ago
A path analysis based partitioning for time constrained embedded systems
The HW/SW partitioning problem addressed in this paper is one of the key steps in the co-design flow of heterogeneous embedded systems. Generally the aim is to provide solutions t...
Luc Bianco, Michel Auguin, Guy Gogniat, Alain Pega...
WSC
1997
14 years 11 months ago
Estimating and Simulating Poisson Processes with Trends or Asymmetric Cyclic Effects
We present a heuristic that provides a nonparametric estimate of the mean-value function of a nonhomogeneous Poisson process having a long-term trend or some cyclic effect(s) tha...
Michael E. Kuhl, Halim Damerdji, James R. Wilson
MICRO
1999
IEEE
110views Hardware» more  MICRO 1999»
15 years 2 months ago
Balance Scheduling: Weighting Branch Tradeoffs in Superblocks
Since there is generally insufficient instruction level parallelism within a single basic block, higher performance is achieved by speculatively scheduling operations in superbloc...
Alexandre E. Eichenberger, Waleed Meleis
ICIP
1994
IEEE
15 years 11 months ago
Document Image Decoding
It has been shown that the computation time of Document Image Decoding can be significantly reduced by employing heuristics in the search for the best decoding of a text line. In ...
Gary E. Kopec, Philip A. Chou