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

Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93最新文献

筛选
英文 中文
Use of a specification construction and animation tool to teach formal methods 使用规范结构和动画工具来教授形式化方法
Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 Pub Date : 1993-11-01 DOI: 10.1109/CMPSAC.1993.404236
I. Morrey, J. Siddiqi, G. Buckberry, R. Hibberd
{"title":"Use of a specification construction and animation tool to teach formal methods","authors":"I. Morrey, J. Siddiqi, G. Buckberry, R. Hibberd","doi":"10.1109/CMPSAC.1993.404236","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404236","url":null,"abstract":"ZAL (Z Animation in LISP) is a package which allows a Z specification to be incrementally designed and validated in an interactive environment built on Common LISP. A Z specification is transformed into an equivalent ZAL program which can be executed in order to demonstrate the functionality of the intended implementation. ZED is a full screen editor and syntax analyser for Z. Using these two tools as an integrated package encourages and facilitates an exploratory approach to formal specification which reflects the way in which many users of Z (particularly beginners) prefer to approach the specification task. The package has also been used to support the teaching of students following courses in discrete mathematics, formal specification and software development.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"129 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114309544","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}
引用次数: 10
Two-level processor scheduling for multiprogrammed NUMA multiprocessors 多程序NUMA多处理器的两级处理器调度
Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 Pub Date : 1993-11-01 DOI: 10.1109/CMPSAC.1993.404239
Akira Fukuda, R. Fujiki, H. Kai
{"title":"Two-level processor scheduling for multiprogrammed NUMA multiprocessors","authors":"Akira Fukuda, R. Fujiki, H. Kai","doi":"10.1109/CMPSAC.1993.404239","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404239","url":null,"abstract":"Non-uniform memory access multiprocessors have potential gains for achieving high performance. These machines are frequently used as computation servers with multiple parallel processes (we use this word instead of jobs) executing at the same time. In such environments, the efficiency of a parallel process can be significantly affected by the processor scheduling strategy. LA two-level scheduling strategy, which is a kind of space-multiplexing scheduling strategy, is a promising one for large-scale multiprocessors. This paper describes the structure and interface of the two-level scheduling strategy. We also propose basic alternatives in this strategy: as alternatives of handling free processors, (1) running-process-first scheme and (2) waiting-process-first scheme; as alternatives of handling idle processors, (1) idle-processor-hold scheme and (2) idle-processor-release scheme. These alternatives are examined through simulation experiments.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127791544","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}
引用次数: 6
Multimedia object modelling and storage allocation strategies for heterogeneous parallel access storage devices in real time multimedia computing systems 实时多媒体计算系统中异构并行访问存储设备的多媒体对象建模与存储分配策略
Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 Pub Date : 1993-11-01 DOI: 10.1109/CMPSAC.1993.404189
C. Y. R. Chen, K. Nwosu, P. Berra
{"title":"Multimedia object modelling and storage allocation strategies for heterogeneous parallel access storage devices in real time multimedia computing systems","authors":"C. Y. R. Chen, K. Nwosu, P. Berra","doi":"10.1109/CMPSAC.1993.404189","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404189","url":null,"abstract":"The improvements in disk speeds have not kept up with improvements in processor and memory speeds. Conventional storage techniques, in the face of multimedia data, are inefficient and/or inadequate. Here, an efficient multimedia object allocation strategy is presented. We describe a multimedia object model, the object and storage device characteristics, and the fragmentation strategy. A bipartite graph approach is used for mapping fragments to storage devices and a cost function is used to determine an efficient allocation of an object and to balance the loads on the devices.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133896744","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
Software reengineering for reusability 可重用性的软件再造
Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 Pub Date : 1993-11-01 DOI: 10.1109/CMPSAC.1993.404221
S. Jarzabek
{"title":"Software reengineering for reusability","authors":"S. Jarzabek","doi":"10.1109/CMPSAC.1993.404221","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404221","url":null,"abstract":"Programs are often reengineered for better maintainability or in order to migrate programs into newer computer/software platforms. However, many of the aging business systems must be also upgraded in order to meet strategic goals of an organization. To meet such ambitious objectives, we must fundamentally redesign programs, rather than merely restructure them for improved maintainability. When much program re-design is involved, the reengineering option becomes challenging at the technical level, expensive and risky. To increase the value of the reengineering solution, we address reusability issues in the context of reengineering. In this paper, we discuss lifecycle phases and outline a possible technical scenario for reengineering for reusability.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133486328","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}
引用次数: 4
Experiences with a faceted classification scheme in a large reusable software library (RSL) 在大型可重用软件库(RSL)中使用分面分类方案的经验
Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 Pub Date : 1993-11-01 DOI: 10.1109/CMPSAC.1993.404220
J. Poulin, K. P. Yglesias
{"title":"Experiences with a faceted classification scheme in a large reusable software library (RSL)","authors":"J. Poulin, K. P. Yglesias","doi":"10.1109/CMPSAC.1993.404220","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404220","url":null,"abstract":"This paper presents experiences with software classification in a large corporate reuse software library (RSL) at IBM. We use facets extensively as one method of component classification in the IBM RSL. However, facets alone cannot adequately provide all the information needed to fully classify and understand a reusable component. Experience with an operational RSL reveals that we require a combination of classification techniques to meet the needs of software developers. Following an overview of the IBM classification method, we discuss the issues surrounding the use of facets and software classification in a large reuse system and give techniques used at IBM to address those issues.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114428901","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}
引用次数: 41
Developmental testing of abstract data types 抽象数据类型的开发测试
Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 Pub Date : 1993-11-01 DOI: 10.1109/CMPSAC.1993.404214
A. Parrish, D. Cordes, R. Borie
{"title":"Developmental testing of abstract data types","authors":"A. Parrish, D. Cordes, R. Borie","doi":"10.1109/CMPSAC.1993.404214","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404214","url":null,"abstract":"Abstract data types (ADTs) represent the fundamental building blocks of object-oriented software development. Consequently, a number of different testing techniques for ADT modules have been proposed in the literature. Most of these techniques at least tacitly assume that the ADT module under test has been completely implemented. In this paper, we present a class of testing techniques that are easily applicable to partially completed ADT modules, thus supporting an incremental approach to ADT module development. We then present a testing tool that automatically generates test cases for partially completed ADTs with very little overhead. As such, our testing techniques may be repeatedly applied, with relatively little expense, to generate new test cases as the ADT module increases in size.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122455325","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}
引用次数: 4
Integrating abstraction flexibility with diverse program perspectives 将抽象灵活性与不同的程序透视图集成在一起
Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 Pub Date : 1993-11-01 DOI: 10.1109/CMPSAC.1993.404193
Javed I. Khan, I. Miyamoto
{"title":"Integrating abstraction flexibility with diverse program perspectives","authors":"Javed I. Khan, I. Miyamoto","doi":"10.1109/CMPSAC.1993.404193","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404193","url":null,"abstract":"Technically, because of the limited dimensions of the presentation media, and psychologically, because of the limited human attention span, graphical program visualization in computer assisted reverse engineering becomes increasingly difficult with scale. This problem becomes compounded when multi-perspective visualization is taken into consideration. In this research we present a system called HVIEW, which attempts to overcome the problem of scale by logical decomposition. HVIEW can present a graphical visual of a computer program at various abstraction levels from diverse perspectives as interactively requested by the user. HVIEW logically formulates abstract function and data objects to construct compressed immediate program representations and organizes them into independent data and function hierarchies. Whereas, these hierarchies provide the mechanism of flexible abstraction, a user specifiable query filter creates an assortment of perspectives on the rendered visual of the modelled code.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114904301","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
An integrated data structure with multiple access paths for database and its performance 具有多路径访问数据库的集成数据结构及其性能
Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 Pub Date : 1991-09-30 DOI: 10.1109/CMPSAC.1993.404186
Vijay Kumar, Judy Mullins
{"title":"An integrated data structure with multiple access paths for database and its performance","authors":"Vijay Kumar, Judy Mullins","doi":"10.1109/CMPSAC.1993.404186","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404186","url":null,"abstract":"An integrated data structure is presented in this paper which offers multiple access paths for processing different types of queries efficiently. Our approach is to fuse those data structures which offer efficient access path of a particular type. To show the feasibility of our scheme we fused the B/sup +/-tree, the grid file and extendible hashing, using a proper interface. We implemented and measured its performance through simulation modeling. Our results show that the integrated data structure does improve concurrency and offers a higher throughput for a variety of transaction processing workloads. We argue that our scheme is different than creating secondary indexes for improving concurrency.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"193 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115637067","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}
引用次数: 1
首页 上一页
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学术文献互助群
群 号：604180095
Book学术官方微信