Sciweavers

2312 search results - page 441 / 463
» Invariance in Property Testing
Sort
View
ISPD
2004
ACM
189views Hardware» more  ISPD 2004»
14 years 28 days ago
Almost optimum placement legalization by minimum cost flow and dynamic programming
VLSI placement tools usually work in two steps: First, the cells that have to be placed are roughly spread out over the chip area ignoring disjointness (global placement). Then, i...
Ulrich Brenner, Anna Pauli, Jens Vygen
MM
2004
ACM
99views Multimedia» more  MM 2004»
14 years 28 days ago
Locality preserving clustering for image database
It is important and challenging to make the growing image repositories easy to search and browse. Image clustering is a technique that helps in several ways, including image data ...
Xin Zheng, Deng Cai, Xiaofei He, Wei-Ying Ma, Xuey...
SIGSOFT
2004
ACM
14 years 28 days ago
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
Jürgen Dingel, Hongzhi Liang
IPMI
2003
Springer
14 years 21 days ago
Ideal-Observer Performance under Signal and Background Uncertainty
We use the performance of the Bayesian ideal observer as a ļ¬gure of merit for hardware optimization because this observer makes optimal use of signal-detection information. Due t...
Subok Park, Matthew A. Kupinski, Eric Clarkson, Ha...
AFRICACRYPT
2010
Springer
14 years 18 days ago
Strong Cryptography from Weak Secrets
the full version of the extended abstract which appears in Africacrypt ā€™10 (3 ā€“ 6 may 2010, Stellenbosch, South Africa) D. Bernstein and T. Lange Eds., Springer-Verlag, LNCS 60...
Xavier Boyen, Céline Chevalier, Georg Fuchs...