4001
A highly decentralized architecture for the parallel execution of logic programs
M Cannataro, G Spezzano, D Talia
Decentralized Systems, 235-246, 1990
 1990
4002
A method for monitoring occam internal channels
A d'Aciemo, G De Pietro, U Villano, CS sui Calculator, CNR Ibridi
Tools and Techniques for Transputer Applications: OUG-12: Proceedings of the ..., 1990
 1990
4003
A Neural Network Architecture for Boundary Contour Cleaning
E Ardizzone, A Chella, S Gaglio, F Sorbello, G Vassallo
Parallel Architectures and Neural Networks: Second Italian Workshop, Vietri ..., 1990
 1990
4004
A thin lines based approach to PCB visual inspection
L Esposito, M Frucci, A Marcelli
Progress in Image Analysis and Processing, 590-594, 1990
 1990
4005
A user friendly cognitive modelling environment
C Ruggiero, M Giacomini, S Gaglio
Engineering in Medicine and Biology Society, 1990., Proceedings of the ..., 1990
 1990
4006
AN ASSOCIATIVE MAPPING MECHANISM BETWEEN SUBSYMBOLIC AND SYMBOLIC PROCESSING IN VISUAL PERCEPTION
E Ardizzone, F Callari, A Chella, M Frixione, S Gaglio, F Sorbello
Parallel Architectures and Neural Networks: Third Italian Workshop, Vietri ..., 1990
 1990
4007
An environment for transputer CPU load measurements
G De Pietro, U Villano
Real-time Systems with Transputers: OUG-13: Proceedings of the 13th Occam ..., 1990
 1990
4008
An OPS5 implementation of qualitative reasoning about physical systems
S Gaglio, M Giacomini, A Ponassi, C Ruggiero
Applied Artificial Intelligence an International Journal 4 (1), 37-65, 1990
 1990
4009
An optimized broadcasting technique for WK-recursive topologies
CS G Della Vecchia
Future Generation Computer Systems, 1990
 Conference 1990
4010
CORRECTNESS IN PROGRAMMING: AN EXAMPLE Authors in alphabetical order: Monica Aldcrighi (*), Giacomo R. Scchi (*), Roberto Vaccaro (**)
M Valsecchi, L Verdoscia
Proceedings of the IASTED International Symposium Applied Informatics, 311, 1990
 1990