5005 search results - page 595 / 1001 » The Design and Analysis of Parallel Algorithms |
197
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
184
click to vote
AND
2009
15 years 4 months ago
2009
Developing better systems for document image analysis requires understanding errors, their sources, and their effects. The interactions between various processing steps are comple...
151
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Cyclic circuits that do not hold state or oscillate are often the most convenient representation for certain functions, such as arbiters, and can easily be produced inadvertently ...
161
click to vote
ISPD
2006
ACM
16 years 24 days ago
2006
ACM
The existing decoupling capacitance optimization approaches meet constraints on input impedance for package. In this paper, we show that using impedance as constraints leads to la...
168
click to vote
MFCS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We introduce nondeterministic graph searching with a controlled amount of nondeterminism and show how this new tool can be used in algorithm design and combinatorial anal...