400 search results - page 30 / 80 » Derandomization and Distinguishing Complexity |
113
click to vote
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
NASA space exploration should largely address a problem class in reliability and risk management stemming primarily from human error, system risk and multi-objective trade-off ana...
COCO
2003
Springer
15 years 7 months ago
2003
Springer
We define and study strong diagonalization and compare it to weak diagonalization, implicit in [7]. Kozen’s result in [7] shows that virtually every separation can be recast as...
COOPIS
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract. Today’s software systems have to deal with an increasing diversity and complexity of execution environments. Next generation applications will have to deal with the unk...
124
click to vote
ASPDAC
2009
ACM
15 years 6 months ago
2009
ACM
Iterative retiming and resynthesis is a powerful way to optimize sequential circuits but its massive adoption has been hampered by the hardness of verification. This paper tackle...
CG
1998
Springer
15 years 6 months ago
1998
Springer
Humans can e ectively navigate through large search spaces, enabling them to solve problems with daunting complexity. This is largely due to an ability to successfully distinguish ...