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

ACM '76最新文献

筛选
英文 中文
Human factors (Tutorial Session) 人为因素(辅导课)
ACM '76 Pub Date : 1976-10-20 DOI: 10.1145/800191.805663
H. R. Ramsey, J. D. Baker, R. Pew
{"title":"Human factors (Tutorial Session)","authors":"H. R. Ramsey, J. D. Baker, R. Pew","doi":"10.1145/800191.805663","DOIUrl":"https://doi.org/10.1145/800191.805663","url":null,"abstract":"This session will address the general problem of man-computer interaction in on-line systems. More rapid and effective man-computer communication has become perhaps the most pressing need of the computer systems industry. Much knowledge gained through psychological and human factors research is directly or indirectly applicable. Yet this information often fails to find its way to those who need it most—designers and implementors. It is the purpose of this session to address the nature of the man-computer interaction process, and to suggest specific ways in which man and computer can be made to function together more smoothly and cooperatively.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115265342","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
SICSOFT (Paper Session) SICSOFT(文件会议)
ACM '76 Pub Date : 1976-10-20 DOI: 10.1145/800191.805644
L. Osterweil, R. H. Hoffman, L. Clarke, H. Samet, R. Fairley
{"title":"SICSOFT (Paper Session)","authors":"L. Osterweil, R. H. Hoffman, L. Clarke, H. Samet, R. Fairley","doi":"10.1145/800191.805644","DOIUrl":"https://doi.org/10.1145/800191.805644","url":null,"abstract":"Development of methodologies and techniques for systematic testing of computer software is an active area of investigation. In this session, four speakers will discuss four approaches to systematic program testing. Leon Osterweil will discuss the role of allegations in static testing, Bob Hoffman will describe an interactive program testing system, and Lori Clarke will discuss symbolic execution techniques. Hanan Samet will describe an approach to validating the translations performed by a compiler. These four papers represent current trends in program testing, and illustrate the diversity of testing strategies being investigated.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132415741","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 design of system architectures for information retrieval 信息检索系统体系结构设计
ACM '76 Pub Date : 1976-10-20 DOI: 10.1145/800191.805522
L. Hollaar, B. Hurley, D. Kuck, D. Lawrie, J. Liu, J. Milner, J. K. Morgan, J. R. Rinewalt, W. H. Stellhorn
{"title":"The design of system architectures for information retrieval","authors":"L. Hollaar, B. Hurley, D. Kuck, D. Lawrie, J. Liu, J. Milner, J. K. Morgan, J. R. Rinewalt, W. H. Stellhorn","doi":"10.1145/800191.805522","DOIUrl":"https://doi.org/10.1145/800191.805522","url":null,"abstract":"A broad-based program for studying hardware, software and human factors affecting information retrieval system performance is described. Using EUREKA, a minicomputer-based retrieval program, studies of user adaptation to an on-line system, search strategy development and use of special features are in progress. Performance comparisons are made between machine-assisted users and those using conventional printed materials. Concurrently, special-purpose retrieval hardware is being designed, and one prototype system is under construction. To support and supplement this work, various modeling and simulation studies are also in progress.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131671757","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}
引用次数: 9
Error checking with pointer variables 使用指针变量进行错误检查
ACM '76 Pub Date : 1976-10-20 DOI: 10.1145/800191.805623
M. Zelkowitz, Paul R. McMullin, K. Merkel, H. J. Larsen
{"title":"Error checking with pointer variables","authors":"M. Zelkowitz, Paul R. McMullin, K. Merkel, H. J. Larsen","doi":"10.1145/800191.805623","DOIUrl":"https://doi.org/10.1145/800191.805623","url":null,"abstract":"The use of pointer variables in a programming language often results in a difficult class of errors to detect. Pointers may point to storage that no longer is allocated, or storage may be allocated as one data type and accessed as another. This report describes the implementation of pointers in the PLUM PL/1 compiler such that all error conditions are detected. In addition, preliminary tests with PLUM seem to indicate that the total checking of pointers is not as expensive an operation as it first appears.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"3 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131890358","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
A time-dependent approach to queue simulation - III: system input and facility loading 一种与时间相关的队列模拟方法- III:系统输入和设备加载
ACM '76 Pub Date : 1976-10-20 DOI: 10.1145/800191.805614
Errol H. Pollnow
{"title":"A time-dependent approach to queue simulation - III: system input and facility loading","authors":"Errol H. Pollnow","doi":"10.1145/800191.805614","DOIUrl":"https://doi.org/10.1145/800191.805614","url":null,"abstract":"The principal area of discussion is directed towards the definition and description of a total framework of queueing system input for the computer simulation of congestion problems with time-dependent, continuous-flow representation. The generation of load is discussed in terms of the load as seen at the service facilities and is shown to originate at any instant from two effectively independent sources - external to the system and from a second source of real load, the queue. Further discussion is also presented on the various subcomponents of these two load sources, and their respective contributions towards facility utilization and saturation. The significance of the framework described is shown to be its reflection of the dependence of the system operating and behaviour patterns on the input load structure, and in general the provision of a basis for a more direct comparability between the model structure and that of the real system.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130766202","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
SIGSOC (Paper Session) SIGSOC(文件会议)
ACM '76 Pub Date : 1976-10-20 DOI: 10.1145/800191.805638
Lorraine Borman, G. Suski, K. Kraemer, J. Sonquist, R. Roistacher, B. Noble, James L. Ross, M. Hayes, G. Marks
{"title":"SIGSOC (Paper Session)","authors":"Lorraine Borman, G. Suski, K. Kraemer, J. Sonquist, R. Roistacher, B. Noble, James L. Ross, M. Hayes, G. Marks","doi":"10.1145/800191.805638","DOIUrl":"https://doi.org/10.1145/800191.805638","url":null,"abstract":"How new computing techniques become adopted by academic and government users is not well understood. The papers and discussion in this session will explore the mix of human, organizational, and technical considerations which confront anyone who hopes to offer and develop the use of innovative computer services.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130804551","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
Characteristics and models of program behaviour 程序行为的特征和模型
ACM '76 Pub Date : 1976-10-20 DOI: 10.1145/800191.805613
P. Burgevin, J. Leroudier
{"title":"Characteristics and models of program behaviour","authors":"P. Burgevin, J. Leroudier","doi":"10.1145/800191.805613","DOIUrl":"https://doi.org/10.1145/800191.805613","url":null,"abstract":"By interpreting the execution of programs on a CII 10070 computer, data on the characteristics of program behaviour during their execution have been collected. The results concern the activity of programs in their address space and the time interval distributions between the I/O requests of a program. These observations have been used to validate and to characterize models of program behaviour such as the LRU stack, the life-time function and the working-set, and to point out the relationships between these different models.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131763860","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}
引用次数: 11
A structure for interprocess communication in a data communications handler 在数据通信处理程序中用于进程间通信的结构
ACM '76 Pub Date : 1976-10-20 DOI: 10.1145/800191.805615
H. Tibbals
{"title":"A structure for interprocess communication in a data communications handler","authors":"H. Tibbals","doi":"10.1145/800191.805615","DOIUrl":"https://doi.org/10.1145/800191.805615","url":null,"abstract":"The use of an implementation which models a simple single server queuing system to control transfers between processes in a communications handler is described. Exchanges between processes are carried by three word elements, called LINKs, which are used to transfer control information and to assign data to processes. The managements of interactions by the single queue structure is used to coordinate parallel, time-independent operation of the attached processes, with the interface provided by the LINKs giving a simple yet flexible interface between activities. The implementation is a special purpose operating system designed for use in a PDP-11 computer dedicated to handling transfers of control and data between a number of communicating processes, which are connected to the PDP-11 by communications lines, direct memory access interfaces and shared memory.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130634249","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
Modeling and performance evaluation of physical data base structures 物理数据库结构的建模与性能评价
ACM '76 Pub Date : 1976-10-20 DOI: 10.1145/800191.805603
S. B. Yao
{"title":"Modeling and performance evaluation of physical data base structures","authors":"S. B. Yao","doi":"10.1145/800191.805603","DOIUrl":"https://doi.org/10.1145/800191.805603","url":null,"abstract":"A generalized file organization model and performance evaluation system is developed for estimating the performance of physical data base structures. Performance evaluation results based on the cost functions of the model and system are presented. These performance measures are compared with the results of previous simulation models for indexed sequential, multi-list, and inverted file structures. The analytic approach makes the costs of evaluation very low. Consequently, many evaluations may be performed interactively with the file designer when searching for the most suitable structure for a given application.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126726034","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}
引用次数: 9
SPADOR: A scheduler, planner, and administrator of operations and resources SPADOR:操作和资源的调度、计划和管理员
ACM '76 Pub Date : 1976-10-20 DOI: 10.1145/800191.805532
R. Fikes
{"title":"SPADOR: A scheduler, planner, and administrator of operations and resources","authors":"R. Fikes","doi":"10.1145/800191.805532","DOIUrl":"https://doi.org/10.1145/800191.805532","url":null,"abstract":"This presentation is a progress report on part of an ongoing project whose goals are to develop sophisticated computerized techniques for assisting managers and administrators in large organizations. In particular, we have focused on the development of a system that will provide the following services:","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124390187","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
首页 上一页 下一页 尾页
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学术官方微信