Speed and scale up software re-engineering with abstraction patterns and rules.
Conference Proceeding
Liu, X., Yang, H., Zedan, H., & Cau, A. (2000)
Speed and scale up software re-engineering with abstraction patterns and rules. In International Symposium on Principles of Software Evolution, 2000. Proceedings, 90. https://doi.org/10.1109/ISPSE.2000.913226
Software reengineering is an essential part of software evolution. Two important issues faced by software reengineering techniques are the time involved and the ability to cop...
Abstraction: a key notation for reverse engineering in a system re-engineering approach.
Journal Article
Yang, H., Liu, X. & Zedan, H. (1999)
Abstraction: a key notation for reverse engineering in a system re-engineering approach. Journal of Software: Evolution and Process. 12, 197-228. doi:10.1002/1096-908X(200007/08)12:43.0.CO;2-X. ISSN 2047-7481
This paper advocates that extracting formal specification semantically consistent to the original legacy system will facilitate further redesign and forward engineering greatl...
Reversed ROBDD circuits.
Journal Article
Bystrov, A. & Almaini, A. E. A. (1998)
Reversed ROBDD circuits. Electronics Letters. 34, 1447-1449. doi:10.1049/el:19981070. ISSN 0013-5194
A new class of logic circuits is proposed. Being derived from reduced ordered binary decision diagrams, these circuits inherit compactness and the ability to represent very la...
Tackling the abstraction problem for reverse engineering in a system re-engineering approach.
Conference Proceeding
Yang, H., Liu, X., & Zedan, H. (1998)
Tackling the abstraction problem for reverse engineering in a system re-engineering approach. In the proceedings of the IEEE Conference on Software Maintenance (ICSM'98), 284. https://doi.org/10.1109/ICSM.1998.738520
It is widely accepted that reverse engineering has three components: restructuring, comprehension and production of formal specification. In this paper, we advocate that the t...
Generalised Reed-Muller ASIC converter.
Conference Proceeding
Almaini, A. E. A. & Burnside, K. (1996)
Generalised Reed-Muller ASIC converter. In 2nd International Conference on ASIC, 73-76. doi:10.1109/ICASIC.1996.562754. ISBN 7-5439-0940-5
The paper outlines the design for a new IC for bidirectional conversion between the functional and operational domains of logic funcyions. The circuit can generate all fixed p...
One-bit adder design based on Reed-Muller expansions
Journal Article
Guan, Z., & Almaini, A. E. A. (1995)
One-bit adder design based on Reed-Muller expansions. International Journal of Electronics, 79(5), 519-529. https://doi.org/10.1080/00207219508926289
It has been claimed for some time that the Reed-Muller technique can yield a simpler arithmetic circuit if it is employed in the design procedure. In fact, no practical applic...
Using genetic algorithms for the variable ordering of Reed-Muller binary decision diagrams
Journal Article
Almaini, A. E. A., & Zhuang, N. (1995)
Using genetic algorithms for the variable ordering of Reed-Muller binary decision diagrams. Microelectronics Journal, 26(5), 471-480. https://doi.org/10.1016/0026-2692%2895%2998949-R
Results are reported of the use of genetic algorithms for the variable ordering problem in Reed-Muller binary decision diagrams. Tests carried out on benchmark examples and ra...
Logic synthesis and optimisation using Reed-Muller expansions
Thesis
McKenzie, L. M. Logic synthesis and optimisation using Reed-Muller expansions. (Thesis)
Edinburgh Napier University. Retrieved from http://researchrepository.napier.ac.uk/id/eprint/4276
This thesis presents techniques and algorithms which may be employed to represent, generate and optimise particular categories of Exclusive-OR SumOf-Products (ESOP) forms. The...
Open-loop transversal equaliser of optimal length
Journal Article
Rutter, M., & Cowan, C. F. N. (1983)
Open-loop transversal equaliser of optimal length. Electronics Letters, 19, 208-210. https://doi.org/10.1049/el%3A19830144
As a rule, in equaliser training algorithms complexity
increases with efficiency. Unfortunately, complex recursive
algorithms do not suit high-bandwidth systems. This letter
d...