发布求助
文献互助 智能选刊 最新文献

Proceedings., Fourteenth Annual International Computer Software and Applications Conference最新文献

筛选
英文 中文
An approach to introduce the reflection to C++ 在c++中引入反射的一种方法
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139320
Chen Ping, C. Xiyao, Jin Yimin
{"title":"An approach to introduce the reflection to C++","authors":"Chen Ping, C. Xiyao, Jin Yimin","doi":"10.1109/CMPSAC.1990.139320","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139320","url":null,"abstract":"The authors report on their work to introduce the reflective architecture in a popular compilation-based language, C++, without modifying the compiler. The reflective architecture provides a disciplined split between the object level and the meta-object level in a class-based form. The unit of causal connections is the class member function. Mechanisms based on the methods diversion are constructed to support a kind of implicitly causal connection. A delegation mechanism is constructed for sharing meta-methods whose classes are not designed as having inheritance. A prototype has been constructed in the Advantage C++ 1.1 M4 running on MSDOS.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115357000","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A connectionist approach to multiple-view based 3-D object recognition 一种基于多视图的三维物体识别连接方法
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139457
Wei-Chung Lin, Fong-Yuan Liao, E. Tsao, Theresa Lingutla
{"title":"A connectionist approach to multiple-view based 3-D object recognition","authors":"Wei-Chung Lin, Fong-Yuan Liao, E. Tsao, Theresa Lingutla","doi":"10.1109/CMPSAC.1990.139457","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139457","url":null,"abstract":"The authors propose a hierarchical approach to solving the surface and the vertex correspondence problems in multiple-view based 3-D object recognition systems. The proposed scheme is a coarse-to-fine search process, and a Hopfield network is employed at each stage. Compared with the conventional object matching schemes, the proposed technique provides a more general and compact formulation of the problem and a solution more suitable for parallel implementation. At the coarse search stage, the surface matching rates between the input image and each object model in the database are computed through a Hopfield network and used to select the candidates for further consideration. At the fine search stage, the object models selected from the previous stage are fed into another Hopfield network for vertex matching. The object model that has the best surface and vertex correspondences with the input image is finally singled out as the best matched model. Results of experiments using both line drawings and real range images to corroborate the proposed theory are also reported.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115839513","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Redundancy detection in logic programs is undecidable 逻辑程序中的冗余检测是不可判定的
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139436
Zheng Zhou, B. Wah
{"title":"Redundancy detection in logic programs is undecidable","authors":"Zheng Zhou, B. Wah","doi":"10.1109/CMPSAC.1990.139436","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139436","url":null,"abstract":"The authors study the decidability of redundancy detection in logic programs which are composed of inference rules with functions in their arguments. They formally define redundancies based on the solution sets in logic programs, and represent solution sets in well-defined domains. They prove that redundancy detection in inference rules with functions is undecidable. The theoretical results obtained here complete the previously unknown properties of redundancy detection of logic programs. Except for nonrecursive inference rules, redundancy detection is undecidable in general. Although general results reveal the inherent difficulty of efficient execution of logic programs through redundancy detection, special redundant cases can still be detected and pruned. Tradeoffs between compile-time analysis of decidable cases and run-time checking of undecidable cases can still be made.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123759218","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The conceptual design of OSEA: an object-oriented semantic data model OSEA的概念设计:面向对象的语义数据模型
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139355
P. L. Tan, T. Dillon
{"title":"The conceptual design of OSEA: an object-oriented semantic data model","authors":"P. L. Tan, T. Dillon","doi":"10.1109/CMPSAC.1990.139355","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139355","url":null,"abstract":"Semantics is integrated with an object-oriented data model to increase its power of expression, leading to the notions of subsumption of attributes, values, and relationships. In addition, the concept of inheritance is extended to include inheritance of relationships as well as attributes and operations. The specification of attributes, relationships and operations for the hierarchical framework is explained. Multiple relationships between two objects pertaining to the same hierarchy are also allowed. These are important features for object-oriented data models as opposed to object-oriented programming systems where relationships do not play such a central role. These features have been consolidated into a unified model, namely the OSEA (object-oriented semantic model for exception accommodation) model, which also incorporates additional constraints and modeling of exceptions. A prototype system has been developed based on the OSEA model with the view of providing a more complete set of operations for exception handling.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116841903","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Applying knowledge-based technology: trends and directions (Panel Session) 应用知识科技:趋势和方向(小组讨论)
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139309
M. Papazoglou, B. Blum, N. Bourbakis, A. Dollas, J. Hughes, E. Knudsen, T. Sellis
{"title":"Applying knowledge-based technology: trends and directions (Panel Session)","authors":"M. Papazoglou, B. Blum, N. Bourbakis, A. Dollas, J. Hughes, E. Knudsen, T. Sellis","doi":"10.1109/CMPSAC.1990.139309","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139309","url":null,"abstract":"A panel session concerning the use of knowledge-based techniques is reported. The discussion covers the following topics: knowledge-based machine vision architectures; experiences from a knowledge-based integrated-circuit testing system; artificial-intelligence (AI) tools for requirements capture and analysis; an approach to knowledge modeling in expert systems design; and a homogeneous approach to bringing AI and database management systems together.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125302115","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The analysis of infeasible concurrent paths of concurrent Ada programs 并发Ada程序的不可行的并发路径分析
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139400
Ren-Dar Yang, C. Chung
{"title":"The analysis of infeasible concurrent paths of concurrent Ada programs","authors":"Ren-Dar Yang, C. Chung","doi":"10.1109/CMPSAC.1990.139400","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139400","url":null,"abstract":"In an execution of a concurrent Ada program, each task will traverse its own path so that the execution can be seen as involving a set of concurrent paths, referred to as a concurrent path (C-path). The path feasibility problem of concurrent program testing is to identify whether a given C-path is traversable in some execution. A static analysis technique is proposed to address this problem. The technique is based on the analysis of the possible execution order of rendezvous statements within the given C-path. A precede relation is defined to express the execution order of rendezvous statements in a C-path. Several precedence rules and an algorithm are proposed to derive precede relations defined in a C-path. Based on the precede relations and the semantics of Ada, several decision rules are given to identify static infeasible C-paths.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114677217","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Processing the transitive-closure logic rules on shared-nothing multiprocessor systems 在无共享的多处理器系统上处理传递闭包逻辑规则
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139354
G. .. Qadah
{"title":"Processing the transitive-closure logic rules on shared-nothing multiprocessor systems","authors":"G. .. Qadah","doi":"10.1109/CMPSAC.1990.139354","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139354","url":null,"abstract":"The author presents and evaluates, using rigorous analytical models, a number of parallel algorithms suitable for processing an important class of recursive queries, the instantiated transitive closure (TC) queries. These algorithms are variants of the sequential delta -wavefront algorithm, designed to run on a shared-nothing (message-passing) type of multiprocessor system. The results obtained indicate that the relative performance of these algorithms is a strong function of not only the parameters which characterize the database and the processed query. Two parallel algorithms have been identified to be the best performing ones, one for systems with slow interconnection networks and the other for systems with fast networks. It is also found that allocating too many nodes to a query which does not need them results in a substantial loss of potential speedup in the processing of the query.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121623022","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A process modeling language for large process control systems 用于大型过程控制系统的过程建模语言
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139328
Ming-Jie Chen, C. Chung
{"title":"A process modeling language for large process control systems","authors":"Ming-Jie Chen, C. Chung","doi":"10.1109/CMPSAC.1990.139328","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139328","url":null,"abstract":"A process modeling language (PML) has been developed which aids the analyst in modeling the processes of large process control systems. Because PML is based on a conceptual framework close to the customer's view of controlled processes, a PML model is an effective communication medium between the analyst and the customer. PML allows a process to be decomposed into activities and a composite activity to be decomposed into more primitive activities. The structuring facility for these decompositions is the same. PML represents activity sequences by scenarios and uses conditions to control their start and end. The modeling of various operation sequences, interprocess sequence control, and operators' interactions is made easy. The condition facility also facilitates the specification of various timing constraints. Therefore, PML is a valuable aid for the requirements analysis of large process control systems.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115340592","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The lines of code metric as a predictor of program faults: a critical analysis 作为程序错误预测器的代码行度量:关键分析
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139396
T. Khoshgoftaar, J. Munson
{"title":"The lines of code metric as a predictor of program faults: a critical analysis","authors":"T. Khoshgoftaar, J. Munson","doi":"10.1109/CMPSAC.1990.139396","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139396","url":null,"abstract":"The relationship between measures of software complexity and programming errors is explored. Four distinct regression models were developed for an experimental set of data to create a predictive model from software complexity metrics to program errors. The lines of code metric, traditionally associated with programming errors in predictive models, was found to be less valuable as a criterion measure in these models than measures of software control complexity. A factor analytic technique used to construct a linear compound of lines of code with control metrics was found to yield models of superior predictive quality.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124837025","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 32
A hybrid approach to mutual exclusion for distributed systems 分布式系统互斥的混合方法
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139370
Ye-In Chang, M. Singhal, Ming T. Liu
{"title":"A hybrid approach to mutual exclusion for distributed systems","authors":"Ye-In Chang, M. Singhal, Ming T. Liu","doi":"10.1109/CMPSAC.1990.139370","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139370","url":null,"abstract":"A hybrid approach to mutual exclusion is proposed to minimize both message traffic and time delay at the same time. A hybrid mutual exclusion algorithm using the release local sites first mode, the requesting group semantics, and the requesting sequence 1324 (i.e., local competition followed by global competition) is found to be an efficient way to control the interaction. This hybrid algorithm uses M. Singhal's (1989) algorithm as the local algorithm and M. Maekawa's (1985) algorithm as the global algorithm. Compared to Maekawa's algorithm, which needs 3 square root N. . .5 square root N messages but two time units delay between successive executions of the critical section (where N is the number of sites in the system), the proposed hybrid algorithm can reduce message traffic by 55% and time delay by 32% at the same time. Furthermore, when a distributed system exhibits locality of requests, the proposed hybrid algorithm can achieve even better performance.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130036404","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 18
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信