An efficient approach to computing fixpoints for complex program analysis
ICS '94 Proceedings of the 8th international conference on Supercomputing
Computational Economics - Special issue on programming languages
An Online Information Retrieval Systems by Means of Artificial Neural Networks
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Program Segmentation for Controlling Test Coverage
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Electronic design automation using a unified optimization framework
Mathematics and Computers in Simulation
Pattern flattening for orthotropic materials
Computer-Aided Design
Hi-index | 0.00 |