245 search results - page 36 / 49 » On the Average-Case Complexity of Property Testing |
103
click to vote
FOCS
2005
IEEE
15 years 6 months ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
129
click to vote
AADEBUG
2005
Springer
15 years 6 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
82
Voted
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
In the next five years, the number of processors in high-end systems for scientific computing is expected to rise to tens and even hundreds of thousands. For example, the IBM Blu...
117
click to vote
WCC
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we describe a broad class of problems arising in the context of designing codes for DNA computing. We primarily focus on design considerations pertaining to the phen...
123
click to vote
CMSB
2004
Springer
15 years 6 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...