Sciweavers

2816 search results - page 346 / 564
» Submodular function minimization
Sort
View
DAC
2006
ACM
15 years 5 months ago
Visibility enhancement for silicon debug
Several emerging Design-for-Debug (DFD) methodologies are addressing silicon debug by making internal signal values and other data observable. Most of these methodologies require ...
Yu-Chin Hsu, Fur-Shing Tsai, Wells Jong, Ying-Tsai...
PPPJ
2006
ACM
15 years 5 months ago
Propagation of JML non-null annotations in Java programs
Development of high quality code is extremely dicult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
Maciej Cielecki, Jedrzej Fulara, Krzysztof Jakubcz...
ICMCS
2005
IEEE
123views Multimedia» more  ICMCS 2005»
15 years 4 months ago
Hidden Markov Model Based Weighted Likelihood Discriminant for Minimum Error Shape Classification
The goal of this communication is to present a weighted likelihood discriminant for minimum error shape classification. Different from traditional Maximum Likelihood (ML) methods...
Ninad Thakoor, Sungyong Jung, Jean Gao
ISQED
2005
IEEE
125views Hardware» more  ISQED 2005»
15 years 4 months ago
A New Method for Design of Robust Digital Circuits
As technology continues to scale beyond 100nm, there is a significant increase in performance uncertainty of CMOS logic due to process and environmental variations. Traditional c...
Dinesh Patil, Sunghee Yun, Seung-Jean Kim, Alvin C...
HASKELL
2005
ACM
15 years 4 months ago
Dynamic applications from the ground up
Some Lisp programs such as Emacs, but also the Linux kernel (when fully modularised) are mostly dynamic; i.e., apart from a small static core, the significant functionality is dy...
Don Stewart, Manuel M. T. Chakravarty