1604 search results - page 130 / 321 » Development Separation in Lambda-Calculus |
ATS
2002
IEEE
14 years 3 months ago
2002
IEEE
As the deep sub-micron techniques evolving, embedded memories are dominating the yield, while the testing and measurement issues are more difficult due to the access limitations. ...
COMPSAC
2002
IEEE
14 years 3 months ago
2002
IEEE
The Integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the compon...
COOPIS
2002
IEEE
14 years 3 months ago
2002
IEEE
Abstract. Filtered delivery model of message passing in an objectoriented distributed computing environment facilitates separation of message control from message processing in a t...
ICPR
2002
IEEE
14 years 3 months ago
2002
IEEE
Two novel computational techniques, harmonic cut and regularized centroid transform, are developed for segmentation of cells and their corresponding substructures observed with an...
ICSM
2002
IEEE
14 years 3 months ago
2002
IEEE
Design patterns are widely recognized as important software development methods. Their use as software understanding tools, though generally acknowledged has been scarcely explore...