8874 search results - page 405 / 1775 » A New Implementation of Automath |
181
click to vote
CIAC
1997
Springer
15 years 11 months ago
1997
Springer
The efficiency of mergesortprogramsis analysed under a simple unit-cost model. In our analysis the time performance of the sorting programs includes the costs of key comparisons, e...
236
click to vote
SRDS
1996
IEEE
15 years 11 months ago
1996
IEEE
In existing asynchronous distributed systems it is impossible to implement failure detectors which are perfect, i.e. they only suspect crashed processes and eventually suspect all...
187
click to vote
ASPLOS
1996
ACM
15 years 11 months ago
1996
ACM
Advances in IC processing allow for more microprocessor design options. The increasing gate density and cost of wires in advanced integrated circuit technologies require that we l...
195
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
This paper discusses the design of a chip using architectural synthesis. The chip, FADIC, is applied in Digital Audio Broadcasting (DAB) receivers. It shows that architectural syn...
163
click to vote
ISLPED
1996
ACM
15 years 11 months ago
1996
ACM
Estimation of the area complexity of a Boolean function from its functional description is an important step towards a power estimation capability at the register transfer level (...