8828 search results - page 141 / 1766 » Formal methods in practice |
120
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
— The concept of applying partial fencing to logic built-in self test (LBIST) hardware structures for the purpose of using partially good chips is well known in the chip design i...
106
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we give an overview of methods to find representations of ontology defined concepts in texts. We distinguish two approaches: lexicon-based methods and approaches u...
118
click to vote
SAS
1999
Springer
15 years 8 months ago
1999
Springer
This paper describes a powerful method for dead code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using live...
159
click to vote
SWS
2004
ACM
15 years 10 months ago
2004
ACM
The Platform for Privacy Preferences (P3P), developed by the W3C, provides an XML-based language for websites to encode their datacollection and data-use practices in a machine-re...
132
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
We propose practical iterated methods for layout density control for CMP uniformity, based on linear programming, Monte-Carlo and greedy algorithms. We experimentally study the tr...