首页 > 最新文献

Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences最新文献

英文 中文
Methods for improved update performance of disk arrays 改进磁盘阵列更新性能的方法
Pub Date : 1992-01-07 DOI: 10.1109/HICSS.1992.183147
J. Menon, J. Kasson
A disk array is a set of disk drives (and controller) which can automatically recover data when one (or more) disk drives in the set fails. One method used by disk arrays to achieve high availability at lower cost than mirroring is a parity technique. The main drawback of such arrays are that they need four disk accesses to update a data block-two to read old data and parity, and two to write new data and parity. The authors describe four new methods to improve the update performance of disk arrays that use the parity technique from four accesses to three and, in some cases, to two. All the schemes sacrifice disk storage efficiency for improved update performance by relaxing the requirement that the modified data and parity blocks be written back into their original locations. The best technique, called 'floating parity track', achieves much improved update performance while using only 1% more disk space than traditional arrays.<>
磁盘阵列是一组磁盘驱动器(和控制器),当其中一个(或多个)磁盘驱动器出现故障时,可以自动恢复数据。磁盘阵列用来以比镜像更低的成本实现高可用性的一种方法是奇偶校验技术。这种数组的主要缺点是它们需要四次磁盘访问来更新数据块——两次读取旧数据和奇偶校验,两次写入新数据和奇偶校验。作者描述了四种新方法来提高使用奇偶校验技术的磁盘阵列的更新性能,从四次访问到三次,在某些情况下,到两次。所有的方案都降低了将修改过的数据和奇偶校验块写回原始位置的要求,从而牺牲磁盘存储效率来提高更新性能。最好的技术,称为“浮动奇偶校验磁道”,实现了大大改进的更新性能,而只使用比传统阵列多1%的磁盘空间。
{"title":"Methods for improved update performance of disk arrays","authors":"J. Menon, J. Kasson","doi":"10.1109/HICSS.1992.183147","DOIUrl":"https://doi.org/10.1109/HICSS.1992.183147","url":null,"abstract":"A disk array is a set of disk drives (and controller) which can automatically recover data when one (or more) disk drives in the set fails. One method used by disk arrays to achieve high availability at lower cost than mirroring is a parity technique. The main drawback of such arrays are that they need four disk accesses to update a data block-two to read old data and parity, and two to write new data and parity. The authors describe four new methods to improve the update performance of disk arrays that use the parity technique from four accesses to three and, in some cases, to two. All the schemes sacrifice disk storage efficiency for improved update performance by relaxing the requirement that the modified data and parity blocks be written back into their original locations. The best technique, called 'floating parity track', achieves much improved update performance while using only 1% more disk space than traditional arrays.<<ETX>>","PeriodicalId":103288,"journal":{"name":"Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences","volume":"19 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123033656","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}
引用次数: 45
Sensitivity study of asynchronous algorithms in disk buffer cache memory 异步算法在磁盘缓存中的灵敏度研究
Pub Date : 1992-01-07 DOI: 10.1109/HICSS.1992.183149
A. Hác
Studies the sensitivity of asynchronous algorithms in disk buffer cache memory. The algorithms allow for writing the files into the buffer cache by the processes. The number of active processes in the system and the length of the queue to the disk buffer cache are considered in sensitivity study. This information is obtained dynamically during the execution of the algorithms. The time for a block to become available for updating in the buffer cache is given. The number of blocks available for updating in the buffer cache is derived. The performance of the algorithms is compared. It is shown that the proposed algorithms allow for better performance than an algorithm that does not use information about the system load.<>
研究了异步算法在磁盘缓存中的灵敏度。该算法允许进程将文件写入缓冲区缓存。在灵敏度研究中考虑了系统中活动进程的数量和磁盘缓冲区的队列长度。该信息是在算法执行期间动态获得的。给定了块在缓冲区缓存中变为可用更新的时间。导出缓冲区缓存中可用于更新的块的数量。比较了两种算法的性能。结果表明,所提出的算法比不使用系统负载信息的算法具有更好的性能。
{"title":"Sensitivity study of asynchronous algorithms in disk buffer cache memory","authors":"A. Hác","doi":"10.1109/HICSS.1992.183149","DOIUrl":"https://doi.org/10.1109/HICSS.1992.183149","url":null,"abstract":"Studies the sensitivity of asynchronous algorithms in disk buffer cache memory. The algorithms allow for writing the files into the buffer cache by the processes. The number of active processes in the system and the length of the queue to the disk buffer cache are considered in sensitivity study. This information is obtained dynamically during the execution of the algorithms. The time for a block to become available for updating in the buffer cache is given. The number of blocks available for updating in the buffer cache is derived. The performance of the algorithms is compared. It is shown that the proposed algorithms allow for better performance than an algorithm that does not use information about the system load.<<ETX>>","PeriodicalId":103288,"journal":{"name":"Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences","volume":"23 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121013858","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
N-dimensional perfect pipelining n维完美流水线
Pub Date : 1992-01-07 DOI: 10.1109/HICSS.1992.183139
Ki-Chang Kim, A. Nicolau
Introduces a technique to parallelize nested loops at the fine grain level. It is a generalization of perfect pipelining which was developed to parallelize a single-nested loop at the fine grain level. The authors explain their method, contrast it with other techniques, show the effect of their technique on some real examples, and briefly discuss an architecture best suited for exploiting this parallelism.<>
介绍了一种在细粒度级别上并行化嵌套循环的技术。它是完美流水线的推广,是为了在细粒度水平上并行化单嵌套循环而开发的。作者解释了他们的方法,将其与其他技术进行了对比,在一些实际示例中展示了他们的技术的效果,并简要讨论了最适合利用这种并行性的体系结构。
{"title":"N-dimensional perfect pipelining","authors":"Ki-Chang Kim, A. Nicolau","doi":"10.1109/HICSS.1992.183139","DOIUrl":"https://doi.org/10.1109/HICSS.1992.183139","url":null,"abstract":"Introduces a technique to parallelize nested loops at the fine grain level. It is a generalization of perfect pipelining which was developed to parallelize a single-nested loop at the fine grain level. The authors explain their method, contrast it with other techniques, show the effect of their technique on some real examples, and briefly discuss an architecture best suited for exploiting this parallelism.<<ETX>>","PeriodicalId":103288,"journal":{"name":"Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121240822","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}
引用次数: 2
Currency exchange rate forecasting by error backpropagation 基于误差反向传播的货币汇率预测
Pub Date : 1992-01-07 DOI: 10.1109/HICSS.1992.183441
A. N. Refenes, Magali E. Azema-Barac, S. A. Karoussos
The paper describes a neural network system for forecasting time series and its application to a non-trivial task in forecasting currency exchange rates. The architecture consists of a two-layer backpropagation network with a fixed number of inputs modelling a window moving along the time series in fixed steps to capture the regularities in the underlying data. Several network configurations are described and the results are analysed. The effect of varying the window and step size is also discussed as are the effects of overtraining. The error backpropagation network was trained with currency exchange data for the period 1988-9 on hourly updates. The first 200 trading days were used as the training set and the following three months as the test set. The network is evaluated both for long term forecasting without feedback (i.e. only the forecast prices are used for the remaining trading days) and for short term forecasting with hourly feedback. By careful network design and analysis of the training set, the backpropagation learning procedure is an active way of forecasting time series. The network learns the training set near perfect and shows accurate prediction, making at least 20% profit on the last 60 trading days of 1989.<>
本文描述了一种用于时间序列预测的神经网络系统及其在货币汇率预测中的应用。该体系结构由一个两层反向传播网络组成,该网络具有固定数量的输入,以固定步骤沿时间序列移动窗口建模,以捕获底层数据中的规律。介绍了几种网络配置,并对结果进行了分析。我们还讨论了窗口和步长变化的影响,以及过度训练的影响。误差反向传播网络使用1988- 1989年期间每小时更新的货币兑换数据进行训练。前200个交易日作为训练集,后3个月作为测试集。该网络既可以评估无反馈的长期预测(即仅使用剩余交易日的预测价格),也可以评估有每小时反馈的短期预测。通过仔细的网络设计和对训练集的分析,反向传播学习过程是预测时间序列的一种有效方法。该网络学习了近乎完美的训练集,并显示出准确的预测,在1989年的最后60个交易日中至少赚取了20%的利润。
{"title":"Currency exchange rate forecasting by error backpropagation","authors":"A. N. Refenes, Magali E. Azema-Barac, S. A. Karoussos","doi":"10.1109/HICSS.1992.183441","DOIUrl":"https://doi.org/10.1109/HICSS.1992.183441","url":null,"abstract":"The paper describes a neural network system for forecasting time series and its application to a non-trivial task in forecasting currency exchange rates. The architecture consists of a two-layer backpropagation network with a fixed number of inputs modelling a window moving along the time series in fixed steps to capture the regularities in the underlying data. Several network configurations are described and the results are analysed. The effect of varying the window and step size is also discussed as are the effects of overtraining. The error backpropagation network was trained with currency exchange data for the period 1988-9 on hourly updates. The first 200 trading days were used as the training set and the following three months as the test set. The network is evaluated both for long term forecasting without feedback (i.e. only the forecast prices are used for the remaining trading days) and for short term forecasting with hourly feedback. By careful network design and analysis of the training set, the backpropagation learning procedure is an active way of forecasting time series. The network learns the training set near perfect and shows accurate prediction, making at least 20% profit on the last 60 trading days of 1989.<<ETX>>","PeriodicalId":103288,"journal":{"name":"Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115955367","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}
引用次数: 23
Lynx/Galactica Net: a distributed, cache coherent multiprocessing system 猞猁/卡拉狄加网:一个分布式、缓存一致的多处理系统
Pub Date : 1992-01-07 DOI: 10.1109/HICSS.1992.183191
A. Wilson, M. Teller, T. Probert, Dyung Le, R. LaRowe
The Lynx/Galactica Net system forms a clustered, shared memory multiprocessor with scalable performance. The Lynx component is a single-board multiprocessor using advanced, three-dimensional packaging technology to put four high performance RISC processors, memory, and I/O on a single 6m VME board. Galactica Net consists of a high speed mesh network combined with memory update hardware to maintain cache and memory coherence. Multiple Lynx computer nodes are connected together by Galactica Net to form shared memory systems with thousands of processors. A key feature of the Lynx/Galactica Net system is a tight coupling between the operating system and the coherency protocol for efficient, low-overhead coherency. An indication of the expected performance is provided through simulations using hardware-collected parallel address traces.<>
Lynx/Galactica Net系统形成了一个集群,具有可扩展性能的共享内存多处理器。Lynx组件是一个单板多处理器,采用先进的三维封装技术,将四个高性能RISC处理器、存储器和I/O放在一个6m VME板上。卡拉狄加网络由一个高速网状网络与内存更新硬件相结合,以保持缓存和内存的一致性。多个Lynx计算机节点通过卡拉狄加网络连接在一起,形成具有数千个处理器的共享存储系统。Lynx/Galactica Net系统的一个关键特性是操作系统和一致性协议之间的紧密耦合,以实现高效、低开销的一致性。通过使用硬件收集的并行地址轨迹进行模拟,提供了预期性能的指示。
{"title":"Lynx/Galactica Net: a distributed, cache coherent multiprocessing system","authors":"A. Wilson, M. Teller, T. Probert, Dyung Le, R. LaRowe","doi":"10.1109/HICSS.1992.183191","DOIUrl":"https://doi.org/10.1109/HICSS.1992.183191","url":null,"abstract":"The Lynx/Galactica Net system forms a clustered, shared memory multiprocessor with scalable performance. The Lynx component is a single-board multiprocessor using advanced, three-dimensional packaging technology to put four high performance RISC processors, memory, and I/O on a single 6m VME board. Galactica Net consists of a high speed mesh network combined with memory update hardware to maintain cache and memory coherence. Multiple Lynx computer nodes are connected together by Galactica Net to form shared memory systems with thousands of processors. A key feature of the Lynx/Galactica Net system is a tight coupling between the operating system and the coherency protocol for efficient, low-overhead coherency. An indication of the expected performance is provided through simulations using hardware-collected parallel address traces.<<ETX>>","PeriodicalId":103288,"journal":{"name":"Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences","volume":"134 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116349547","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}
引用次数: 14
Modeling the profitability of customer relationships: development and impact of Barclays de Zoete Wedd's BEATRICE 客户关系盈利能力建模:巴克莱银行(Barclays de Zoete Wedd)的BEATRICE的发展和影响
Pub Date : 1992-01-07 DOI: 10.1109/HICSS.1992.183378
Nic Stuchfield, B. Weber
Traditional management accounting systems are often unable to provide profitability information relevant to strategic management decisions. The problem is intensified in unstable environments, where changing margins due to deregulation and new entrants, new products, and customer unbundling of firms' offerings can combine to leave unprepared firms with growing numbers of loss-making client relationships. With information on the profitability of customer relationships, managers can identity and defend their most attractive market segments, and aim to turn loss-making accounts into profitable ones. BZW, a London-based securities house, developed an innovative information system that combines activity-based accounting principles and a model of customer profitability based on an income assignment for each of the 6000 trades the firm makes in a day. The system's strategic value appears to be considerable, and industry profitability data recently published will enable us to test the value hypothesis.<>
传统的管理会计系统往往无法提供与战略管理决策相关的盈利能力信息。在不稳定的环境中,由于放松管制、新进入者、新产品和公司产品的客户分拆,利润率不断变化,这些因素结合在一起,可能会使毫无准备的公司面临越来越多的亏损客户关系。有了有关客户关系盈利能力的信息,管理者就可以识别并捍卫最具吸引力的细分市场,并致力于将亏损账户转变为盈利账户。总部位于伦敦的证券公司BZW开发了一种创新的信息系统,该系统结合了基于活动的会计原则和基于公司每天6000笔交易中每笔交易的收入分配的客户盈利能力模型。该系统的战略价值似乎相当可观,最近公布的行业盈利能力数据将使我们能够检验价值假设。
{"title":"Modeling the profitability of customer relationships: development and impact of Barclays de Zoete Wedd's BEATRICE","authors":"Nic Stuchfield, B. Weber","doi":"10.1109/HICSS.1992.183378","DOIUrl":"https://doi.org/10.1109/HICSS.1992.183378","url":null,"abstract":"Traditional management accounting systems are often unable to provide profitability information relevant to strategic management decisions. The problem is intensified in unstable environments, where changing margins due to deregulation and new entrants, new products, and customer unbundling of firms' offerings can combine to leave unprepared firms with growing numbers of loss-making client relationships. With information on the profitability of customer relationships, managers can identity and defend their most attractive market segments, and aim to turn loss-making accounts into profitable ones. BZW, a London-based securities house, developed an innovative information system that combines activity-based accounting principles and a model of customer profitability based on an income assignment for each of the 6000 trades the firm makes in a day. The system's strategic value appears to be considerable, and industry profitability data recently published will enable us to test the value hypothesis.<<ETX>>","PeriodicalId":103288,"journal":{"name":"Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116929093","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}
引用次数: 25
Kaleidoscope visualization of fine-grain parallel programs 细粒度并行程序的万花筒可视化
Pub Date : 1992-01-07 DOI: 10.1109/HICSS.1992.183287
E. Tick, D. Park
A software visualization tool is described that transforms program execution trace data from a multiprocessor into a single, color image. The image is essentially the program's logical procedure-invocation tree, displayed radially from the root. An algorithm is described that condenses the image both radially and laterally, producing a color-dense abstraction of the program's execution behavior: a program signature, within a workstation window. An implementation of the tool was made in X-Windows, including a user interface that can zoom the image and annotate any node in the image with the corresponding procedure-invocation data. Experimentation with the system was performed with trace data from Panda, a concurrent logic programming system on shared-memory multiprocessors. The authors demonstrate how the tool helps the programmer develop intuitions about parallel performance and how condensation successfully abstracts very large traces.<>
描述了一种将程序执行跟踪数据从多处理器转换为单个彩色图像的软件可视化工具。映像本质上是程序的逻辑过程调用树,从根开始呈放射状显示。描述了一种算法,该算法在径向和横向上压缩图像,产生程序执行行为的彩色密集抽象:在工作站窗口内的程序签名。在X-Windows中实现了该工具,包括一个用户界面,该界面可以缩放图像,并用相应的过程调用数据注释图像中的任何节点。利用Panda(一个基于共享内存多处理器的并发逻辑编程系统)的跟踪数据对系统进行了实验。作者演示了该工具如何帮助程序员开发并行性能的直觉,以及冷凝如何成功地抽象了非常大的跟踪。
{"title":"Kaleidoscope visualization of fine-grain parallel programs","authors":"E. Tick, D. Park","doi":"10.1109/HICSS.1992.183287","DOIUrl":"https://doi.org/10.1109/HICSS.1992.183287","url":null,"abstract":"A software visualization tool is described that transforms program execution trace data from a multiprocessor into a single, color image. The image is essentially the program's logical procedure-invocation tree, displayed radially from the root. An algorithm is described that condenses the image both radially and laterally, producing a color-dense abstraction of the program's execution behavior: a program signature, within a workstation window. An implementation of the tool was made in X-Windows, including a user interface that can zoom the image and annotate any node in the image with the corresponding procedure-invocation data. Experimentation with the system was performed with trace data from Panda, a concurrent logic programming system on shared-memory multiprocessors. The authors demonstrate how the tool helps the programmer develop intuitions about parallel performance and how condensation successfully abstracts very large traces.<<ETX>>","PeriodicalId":103288,"journal":{"name":"Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117137280","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
Operating system(s) on top of persistent object systems-the BirliX approach 在持久对象系统之上的操作系统——BirliX方法
Pub Date : 1992-01-07 DOI: 10.1109/HICSS.1992.183233
H. Hartig, W.E. Kuhnhauser, W. Lux, W. Reck
While many persistent object systems are built on top of conventional operating systems, the BirliX approach has followed the opposite direction: it has built a Unix compatible operating system by emulating the Unix system interface on top of a persistent object system. The BirliX kernel is basically an abstract data type management system. Its basic services are the definition of abstract data types, their instantiation, their identification, and the communication between instances. All abstract data types share a common set of type-independent attributes and methods inherited from the kernel-defined primary type. These methods have been designed to provide mechanisms that are considered useful to build fault tolerant and secure applications in a distributed environment. The Unix emulation on top of the kernel takes advantage of the underlying persistent abstract data type management system.<>
虽然许多持久对象系统是在传统操作系统之上构建的,但BirliX方法遵循了相反的方向:它通过在持久对象系统之上模拟Unix系统接口来构建Unix兼容的操作系统。BirliX内核基本上是一个抽象的数据类型管理系统。它的基本服务是抽象数据类型的定义、实例化、识别以及实例之间的通信。所有抽象数据类型共享一组从内核定义的主类型继承的与类型无关的属性和方法。设计这些方法是为了提供一些机制,这些机制被认为对在分布式环境中构建容错和安全的应用程序很有用。内核之上的Unix仿真利用了底层持久抽象数据类型管理系统。
{"title":"Operating system(s) on top of persistent object systems-the BirliX approach","authors":"H. Hartig, W.E. Kuhnhauser, W. Lux, W. Reck","doi":"10.1109/HICSS.1992.183233","DOIUrl":"https://doi.org/10.1109/HICSS.1992.183233","url":null,"abstract":"While many persistent object systems are built on top of conventional operating systems, the BirliX approach has followed the opposite direction: it has built a Unix compatible operating system by emulating the Unix system interface on top of a persistent object system. The BirliX kernel is basically an abstract data type management system. Its basic services are the definition of abstract data types, their instantiation, their identification, and the communication between instances. All abstract data types share a common set of type-independent attributes and methods inherited from the kernel-defined primary type. These methods have been designed to provide mechanisms that are considered useful to build fault tolerant and secure applications in a distributed environment. The Unix emulation on top of the kernel takes advantage of the underlying persistent abstract data type management system.<<ETX>>","PeriodicalId":103288,"journal":{"name":"Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115496705","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}
引用次数: 16
Certifying the correctness of software 验证软件的正确性
Pub Date : 1992-01-07 DOI: 10.1109/HICSS.1992.183251
H. Mills
Software is either correct or incorrect in design to a specification in contrast to hardware which is reliable to a certain level to a correct design. Software of any size or complexity can only be tested partially, and typically a very small fraction of possible inputs are actually tested. Certifying the correctness of such software requires two conditions, namely (1) statistical testing with inputs characteristic of actual usage, and (2) no failures in the testing. If any failures arise in testing or subsequent usage, the software is incorrect, and the certification invalid. If such failures are corrected, the certification process can be restarted, with no use of previous testing.<>
软件在设计规范上要么是正确的,要么是不正确的,而硬件在一定程度上对正确的设计是可靠的。任何规模或复杂性的软件都只能进行部分测试,并且通常只测试了可能输入的很小一部分。验证该软件的正确性需要两个条件,即(1)输入具有实际使用特征的统计测试,(2)测试没有失败。如果在测试或后续使用中出现问题,说明软件不正确,认证无效。如果这些故障被纠正,认证过程可以重新启动,不使用以前的测试。
{"title":"Certifying the correctness of software","authors":"H. Mills","doi":"10.1109/HICSS.1992.183251","DOIUrl":"https://doi.org/10.1109/HICSS.1992.183251","url":null,"abstract":"Software is either correct or incorrect in design to a specification in contrast to hardware which is reliable to a certain level to a correct design. Software of any size or complexity can only be tested partially, and typically a very small fraction of possible inputs are actually tested. Certifying the correctness of such software requires two conditions, namely (1) statistical testing with inputs characteristic of actual usage, and (2) no failures in the testing. If any failures arise in testing or subsequent usage, the software is incorrect, and the certification invalid. If such failures are corrected, the certification process can be restarted, with no use of previous testing.<<ETX>>","PeriodicalId":103288,"journal":{"name":"Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114281254","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}
引用次数: 29
Explorability: inferences at the interface 可探索性:界面上的推论
Pub Date : 1992-01-07 DOI: 10.1109/HICSS.1992.183308
C. Quinn
The problem of determining the appropriate action in using a new interface, or a new feature of a familiar interface, can be characterized as a form of problem-solving. Using distributed cognition as leverage to approach this problem, explorability is proposed as a framework within which to examine the inferences required to map the desired goal onto an appropriate action. Explorability is supported by consistency. affordances, and culture, each a constraint limiting the space of possible inferences. The three components are described, and the interaction of these three concepts is examined both as a problem and an opportunity for interface designers. The explorability framework is examined as an analytical tool to make explanations and predictions for interface designs.<>
在使用新界面或熟悉界面的新功能时确定适当的操作的问题可以被描述为解决问题的一种形式。利用分布式认知作为解决这个问题的杠杆,可探索性被提议作为一个框架,在其中检查将期望目标映射到适当行动所需的推论。一致性支持可探索性。能力和文化,每一个都限制了可能推论的空间。本文描述了这三个组成部分,并将这三个概念的相互作用作为界面设计师的问题和机会进行了研究。可探索性框架是作为一种分析工具来对界面设计进行解释和预测的
{"title":"Explorability: inferences at the interface","authors":"C. Quinn","doi":"10.1109/HICSS.1992.183308","DOIUrl":"https://doi.org/10.1109/HICSS.1992.183308","url":null,"abstract":"The problem of determining the appropriate action in using a new interface, or a new feature of a familiar interface, can be characterized as a form of problem-solving. Using distributed cognition as leverage to approach this problem, explorability is proposed as a framework within which to examine the inferences required to map the desired goal onto an appropriate action. Explorability is supported by consistency. affordances, and culture, each a constraint limiting the space of possible inferences. The three components are described, and the interaction of these three concepts is examined both as a problem and an opportunity for interface designers. The explorability framework is examined as an analytical tool to make explanations and predictions for interface designs.<<ETX>>","PeriodicalId":103288,"journal":{"name":"Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114592577","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
期刊
Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1