9316 search results - page 37 / 1864 » Analysis of traceback techniques |
ALT
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. A hidden Markov model is introduced for descriptive modelling the mosaic–like structures of haplotypes, due to iterated recombinations within a population. Methods usin...
KDD
1997
ACM
14 years 19 days ago
1997
ACM
Wedescribehow specializeddatabasetechnology and data analysis methods were applied by the Swedish defense to help deal with the violation of Swedish marine territory by foreign su...
CHARME
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
ASPDAC
2004
ACM
14 years 1 months ago
2004
ACM
As gate delays decrease faster than wire delays for each technology generation, buffer insertion becomes a popular method to reduce the interconnect delay. Several modern buffer in...
ISQED
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract—Silicon debug poses a unique challenge to the engineer because of the limited access to internal signals of the chip. Embedded hardware such as trace buffers helps overc...