2673 search results - page 116 / 535 » Guided Static Analysis |
140
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Current Static Timing Analysis (STA) techniques allow one to verify the timing of a circuit at different process corners which only consider cases where all the supplies are low o...
127
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Centrality is an important notion in network analysis and is used to measure the degree to which network structure contributes to the importance of a node in a network. While many...
126
click to vote
TRUSTBUS
2009
Springer
15 years 10 months ago
2009
Springer
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
122
click to vote
VTS
1996
IEEE
15 years 8 months ago
1996
IEEE
Some weak static CMOS chips can be detected by testing them with a very low supply voltage -- between 2 and 2.5 times the threshold voltage Vt of the transistors. A weak chip is o...
146
click to vote
NDSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs of a progr...