This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Andre Thayse, "P-functions: A new tool for the analysis and synthesis of binary programs," IEEE Transactions on Computers, vol. 30, no. 2, pp. 126-134, Feb., 1981.
 
 
BibTex
x
 
@article{ 10.1109/TC.1981.6312175,
author = {Andre Thayse},
title = {P-functions: A new tool for the analysis and synthesis of binary programs},
journal ={IEEE Transactions on Computers},
volume = {30},
number = {2},
issn = {0018-9340},
year = {1981},
pages = {126-134},
doi = {http://doi.ieeecomputersociety.org/10.1109/TC.1981.6312175},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Computers
TI - P-functions: A new tool for the analysis and synthesis of binary programs
IS - 2
SN - 0018-9340
SP126
EP134
EPD - 126-134
A1 - Andre Thayse,
PY - 1981
KW - software description
KW - Binary decision programs or diagrams
KW - hardware description languages
KW - hardware realization of switching functions
VL - 30
JA - IEEE Transactions on Computers
ER -
 
Andre Thayse, Philips Research Laboratory, Brussels, Belgium
This paper considers the realization of switching functions by programs composed of certain conditional transfers (binary programs). Methods exist for optimizing binary trees, i.e., binary programs without reconvergent instructions. This paper studies methods for optimizing binary simple programs (programs with possible reconvergent instructions, but where a variable may be tested only once during a computation) and binary programs. The hardware implementations of these programs involve either multiplexers or demultiplexers and OR-gates.
Index Terms:
software description,Binary decision programs or diagrams,hardware description languages,hardware realization of switching functions
Citation:
Andre Thayse, "P-functions: A new tool for the analysis and synthesis of binary programs," IEEE Transactions on Computers, vol. 30, no. 2, pp. 126-134, Feb. 1981, doi:10.1109/TC.1981.6312175
Usage of this product signifies your acceptance of the Terms of Use.