1450 search results - page 70 / 290 » On the Complexity of Hardness Amplification |
CSUR
2000
13 years 8 months ago
2000
Not only the design of complex frameworks is hard, but also the reuse of such artefacts. Furthermore, the internal working of different frameworks is usually not compatible so that...
COCO
2007
Springer
14 years 3 months ago
2007
Springer
Antunes, Fortnow, van Melkebeek and Vinodchandran captured the notion of non-random information by computational depth, the difference between the polynomialtime-bounded Kolmogoro...
CODES
2001
IEEE
14 years 20 days ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
EUROMICRO
1998
IEEE
14 years 1 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
SIGMETRICS
1997
ACM
14 years 1 months ago
1997
ACM
The Internet is a very large scale, complex, dynamical system that is hard to model and analyze. In this paper, we develop and analyze statistical models for the observed end-to-e...