Title :
CompEuro 1992 Proceedings. Computer Systems and Software Engineering (Cat. No.91CH3121-1)
Abstract :
The following topics are dealt with: synthesis and verification of VLSI systems; parallel architectures; operations research-programming; database systems; logic and induction; parallel programming tools; neural networks and learning; formal methods in software engineering; hardware design methodologies; testing and fault tolerance; new products; interconnection and packaging; numerical analysis; parallel applications; software engineering tools; modeling and concurrency; inductive machine learning; applications of fuzzy neural control; data security; distributed computing; computer-aided system design, modeling and performance; smart cards; object-orientation in software engineering; and computer networks
Keywords :
VLSI; database management systems; formal logic; knowledge based systems; neural nets; operations research; parallel processing; software engineering; VLSI systems; computer networks; computer-aided system design; concurrency; data security; database systems; distributed computing; fault tolerance; formal methods; fuzzy neural control; hardware design methodologies; inductive machine learning; interconnection; learning; neural networks; new products; numerical analysis; object-orientation; operations research-programming; packaging; parallel applications; parallel architectures; parallel programming tools; smart cards; software engineering; software engineering tools;
Conference_Titel :
CompEuro '92 . 'Computer Systems and Software Engineering',Proceedings.
Conference_Location :
The Hague, Netherlands
Print_ISBN :
0-8186-2760-3
DOI :
10.1109/CMPEUR.1992.218497
