8917 search results - page 440 / 1784 » Abstraction in Algorithm Animation |
170
click to vote
ISAAC
2003
Springer
16 years 4 hour ago
2003
Springer
Abstract. Correction networks are comparator networks that sort inputs differing from sorted sequences of length N in a small number of positions. The main application of such netw...
273
click to vote
NADA
1998
Springer
15 years 11 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
142
click to vote
WIA
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. LR parsers have long been known as being an efficient algorithm for recognizing deterministic context
143
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
Abstract-A 30k-gate dynamic element matching circuit for bandpass modulators with a 4-bit quantizer is designed by using 0.35-
205
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We have formal verified a number of algorithms for evaluating transcendental functions in double-extended precision floating point arithmetic in the Intel