首页 > 最新文献

Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]最新文献

英文 中文
Performance modeling of a shared-memory multiprocessor system 共享内存多处理器系统的性能建模
I. Onyuksel
Two different approximate state models are presented for the performance analysis of a shared-memory multiprocessor system. The steady-state solutions for the state transition matrices were obtained by applying an iterative numerical technique. The numerical results illustrate that the state models produce less than 5% approximation error compared to simulation results. It has been observed that the coefficient of variation for the service time of the shared memory has little effect on the system performance.<>
针对共享内存多处理器系统的性能分析,提出了两种不同的近似状态模型。采用迭代数值方法得到了状态转移矩阵的稳态解。数值结果表明,与仿真结果相比,状态模型的近似误差小于5%。研究发现,共享内存服务时间的变异系数对系统性能影响不大。
{"title":"Performance modeling of a shared-memory multiprocessor system","authors":"I. Onyuksel","doi":"10.1109/PCCC.1992.200536","DOIUrl":"https://doi.org/10.1109/PCCC.1992.200536","url":null,"abstract":"Two different approximate state models are presented for the performance analysis of a shared-memory multiprocessor system. The steady-state solutions for the state transition matrices were obtained by applying an iterative numerical technique. The numerical results illustrate that the state models produce less than 5% approximation error compared to simulation results. It has been observed that the coefficient of variation for the service time of the shared memory has little effect on the system performance.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126510614","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
An assignment algorithm for reconfiguration of fault tolerant linear array 一种容错线性阵列重构的分配算法
Chang Chen, Yoshiaki Kakuda, T. Kikuno
A new technique for reconfiguration of a fault-tolerant linear array that is constructed by connecting multiple modular redundant processors is proposed. The array has the following characteristics: a fault of any copy of each processor can be masked without the need for reconfiguration, and the array can be efficiently reconfigured for maximizing the capability to detect and correct any future faults when some voters and copies of processors fail. The reconfiguration problem for the array is formalized, and a linear time algorithm for the reconfiguration is proposed. An extension of the reconfiguration problem and its algorithm are discussed.<>
提出了一种由多个模块冗余处理器连接构成的容错线性阵列重构新技术。该阵列具有以下特征:可以在不需要重新配置的情况下掩盖每个处理器的任何副本的故障,并且可以有效地重新配置阵列,以便在某些选民和处理器副本失败时最大限度地检测和纠正未来的任何故障。对阵列的重构问题进行形式化,提出了重构的线性时间算法。讨论了重构问题的一个扩展及其算法。
{"title":"An assignment algorithm for reconfiguration of fault tolerant linear array","authors":"Chang Chen, Yoshiaki Kakuda, T. Kikuno","doi":"10.1109/PCCC.1992.200589","DOIUrl":"https://doi.org/10.1109/PCCC.1992.200589","url":null,"abstract":"A new technique for reconfiguration of a fault-tolerant linear array that is constructed by connecting multiple modular redundant processors is proposed. The array has the following characteristics: a fault of any copy of each processor can be masked without the need for reconfiguration, and the array can be efficiently reconfigured for maximizing the capability to detect and correct any future faults when some voters and copies of processors fail. The reconfiguration problem for the array is formalized, and a linear time algorithm for the reconfiguration is proposed. An extension of the reconfiguration problem and its algorithm are discussed.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130209410","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
Partially shared variables and hierarchical shared memory multiprocessor architectures 部分共享变量和分层共享内存多处理器体系结构
D. Jayasimha
Latency and synchronization overheads have been identified as two fundamental problems in large-scale shared memory multiprocessors. The notion of partial sharing of variables is introduced, and architectures based on hierarchical memories which exploit this notion of partial sharing to reduce the latency and synchronization overheads significantly are suggested. A particular class of architectures, the tree structure, hierarchical memory multiprocessor architectures (THMMs), is examined by suggesting an implementation and considering the execution and the performance of several well-known applications such as matrix multiplication, solution of partial differential equations, solution of linear recurrence relations, barrier synchronization, and reduction operations. Speedup and cost figures for these examples are compared when executing on the THMM and on a conventional memory multiprocessor.<>
延迟和同步开销已被确定为大规模共享内存多处理器中的两个基本问题。引入了变量部分共享的概念,并提出了基于分层存储器的架构,该架构利用部分共享的概念来显著减少延迟和同步开销。一种特殊的体系结构,树形结构,分层存储器多处理器体系结构(thmm),通过提出实现并考虑几个著名应用的执行和性能来检查,例如矩阵乘法,偏微分方程的解,线性递归关系的解,屏障同步和约简操作。在THMM和传统内存多处理器上执行时,比较了这些示例的加速和成本数据。
{"title":"Partially shared variables and hierarchical shared memory multiprocessor architectures","authors":"D. Jayasimha","doi":"10.1109/PCCC.1992.200539","DOIUrl":"https://doi.org/10.1109/PCCC.1992.200539","url":null,"abstract":"Latency and synchronization overheads have been identified as two fundamental problems in large-scale shared memory multiprocessors. The notion of partial sharing of variables is introduced, and architectures based on hierarchical memories which exploit this notion of partial sharing to reduce the latency and synchronization overheads significantly are suggested. A particular class of architectures, the tree structure, hierarchical memory multiprocessor architectures (THMMs), is examined by suggesting an implementation and considering the execution and the performance of several well-known applications such as matrix multiplication, solution of partial differential equations, solution of linear recurrence relations, barrier synchronization, and reduction operations. Speedup and cost figures for these examples are compared when executing on the THMM and on a conventional memory multiprocessor.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130572326","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
Integrated circuit neural networks using ferroelectric analog memory 利用铁电模拟存储器的集成电路神经网络
L. Clark, R. Grondin, S. Dey
The application of ferroelectric thin-film capacitors as synapses in integrated circuit implementation of artificial neural networks is described. A continuous-valued synapse where the synaptic efficacy is controlled by the polarization of a ferroelectric capacitor element is presented. The ferroelectric analog synapse utilizes nondestructive readout. A ferroelectric capacitor circuit model has been added to the SPICE circuit simulation program and is complete with respect to current vs. time, polarization, and current vs. voltage responses. The simulated response in characterization circuits is shown to closely model that of lead zirconate titanate (PZT) thin-film capacitors. Simulation and experimental results show the proposed synapse circuit to possess a number of favorable characteristics, including very infrequent refresh and fine programming granularity.<>
介绍了铁电薄膜电容器作为突触在人工神经网络集成电路实现中的应用。提出了一种连续值突触,其中突触效能由铁电电容器元件的极化控制。铁电模拟突触利用非破坏性读出。一个铁电电容电路模型已经添加到SPICE电路仿真程序中,并且在电流与时间、极化和电流与电压响应方面是完整的。表征电路中的模拟响应与锆钛酸铅(PZT)薄膜电容器的响应非常接近。仿真和实验结果表明,所提出的突触电路具有一些良好的特性,包括非常不频繁的刷新和良好的编程粒度。
{"title":"Integrated circuit neural networks using ferroelectric analog memory","authors":"L. Clark, R. Grondin, S. Dey","doi":"10.1109/PCCC.1992.200514","DOIUrl":"https://doi.org/10.1109/PCCC.1992.200514","url":null,"abstract":"The application of ferroelectric thin-film capacitors as synapses in integrated circuit implementation of artificial neural networks is described. A continuous-valued synapse where the synaptic efficacy is controlled by the polarization of a ferroelectric capacitor element is presented. The ferroelectric analog synapse utilizes nondestructive readout. A ferroelectric capacitor circuit model has been added to the SPICE circuit simulation program and is complete with respect to current vs. time, polarization, and current vs. voltage responses. The simulated response in characterization circuits is shown to closely model that of lead zirconate titanate (PZT) thin-film capacitors. Simulation and experimental results show the proposed synapse circuit to possess a number of favorable characteristics, including very infrequent refresh and fine programming granularity.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132155098","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
On multiple-fault diagnosis of baseline interconnection networks 基线互联网络多故障诊断研究
Shun-Shii Lin, F. Lin
A multiple-fault diagnosis procedure which used three distinct test vectors to diagnose a 4*4 baseline network is presented. Multistage interconnection networks are briefly introduced, and the fault model is given. The necessary and sufficient conditions are derived for the input test vectors to diagnose a single switching element. It is proved that six tests are necessary and sufficient to diagnose a 4*4 and an 8*8 baseline network. A multiple-fault diagnosis procedure for an N*N baseline network is presented by using only 2 log/sub 2/ N tests.<>
提出了一种利用三种不同的测试向量对4*4基线网络进行多故障诊断的方法。简要介绍了多级互联网络,并给出了故障模型。导出了输入测试向量诊断单个开关元件的充分必要条件。结果表明,对于4*4和8*8基线网络的诊断,6个测试是足够的。提出了一种基于N*N基线网络的多故障诊断方法,只需进行2次log/sub 2/ N测试。
{"title":"On multiple-fault diagnosis of baseline interconnection networks","authors":"Shun-Shii Lin, F. Lin","doi":"10.1109/PCCC.1992.200590","DOIUrl":"https://doi.org/10.1109/PCCC.1992.200590","url":null,"abstract":"A multiple-fault diagnosis procedure which used three distinct test vectors to diagnose a 4*4 baseline network is presented. Multistage interconnection networks are briefly introduced, and the fault model is given. The necessary and sufficient conditions are derived for the input test vectors to diagnose a single switching element. It is proved that six tests are necessary and sufficient to diagnose a 4*4 and an 8*8 baseline network. A multiple-fault diagnosis procedure for an N*N baseline network is presented by using only 2 log/sub 2/ N tests.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"141 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131980819","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
Development of the concurrent object-oriented language superC2 并发面向对象语言superC2的开发
F. Sato, I. Imai, K. Katsuyama, T. Mizuno
SuperC/sup 2/, a concurrent object-oriented language designed for the implementation of distributed software running on a network of computers, is described. The goal of superC/sup 2/ is to estimate the easiness of programming of distributed systems and harmony between the distributed systems and programming language. The design policy, basic ideas, and implementation issues for superC/sup 2/ are considered. Examples of the use of superC/sup 2/ and some discussions on the development environment are also presented. Although the first version of superC/sup 2/ only extended the concurrent processing facilities, the current version has extended the facilities to store the object to the file storage persistently. These facilities supply the basis of the distributed object-oriented database. SuperC/sup 2/ can manage the distributed objects by their name. Using these facilities, superC/sup 2/ provides a unified access method to the interprocess communication and file system.<>
介绍了一种面向对象的并发编程语言SuperC/sup 2/,该语言是为实现在计算机网络上运行的分布式软件而设计的。superC/sup 2/的目标是评估分布式系统的编程难易程度以及分布式系统与编程语言之间的协调性。讨论了superC/sup 2/的设计策略、基本思想和实现问题。文中还介绍了superC/sup 2/的使用实例,并对开发环境进行了一些讨论。虽然第一个版本的superC/sup 2/只扩展了并发处理功能,但当前版本已经扩展了将对象持久化存储到文件存储的功能。这些功能为分布式面向对象数据库提供了基础。SuperC/sup 2/可以通过名称管理分布式对象。利用这些功能,superC/sup 2/为进程间通信和文件系统提供了统一的访问方法
{"title":"Development of the concurrent object-oriented language superC2","authors":"F. Sato, I. Imai, K. Katsuyama, T. Mizuno","doi":"10.1109/PCCC.1992.200603","DOIUrl":"https://doi.org/10.1109/PCCC.1992.200603","url":null,"abstract":"SuperC/sup 2/, a concurrent object-oriented language designed for the implementation of distributed software running on a network of computers, is described. The goal of superC/sup 2/ is to estimate the easiness of programming of distributed systems and harmony between the distributed systems and programming language. The design policy, basic ideas, and implementation issues for superC/sup 2/ are considered. Examples of the use of superC/sup 2/ and some discussions on the development environment are also presented. Although the first version of superC/sup 2/ only extended the concurrent processing facilities, the current version has extended the facilities to store the object to the file storage persistently. These facilities supply the basis of the distributed object-oriented database. SuperC/sup 2/ can manage the distributed objects by their name. Using these facilities, superC/sup 2/ provides a unified access method to the interprocess communication and file system.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123802028","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
An extremely sensitive digital receiver for deep space satellite communications 用于深空卫星通信的极其灵敏的数字接收机
J. Berner, K. M. Ware
A new ground based receiver for deep space applications is being designed. By utilizing high speed gallium arsenide applications specific integrated circuits, advanced single board computers, and a real-time embedded operating system, the Block V Receiver will dramatically reduce the volume of equipment at a tracking complex, yet will provide new capabilities with higher reliability. A digital demodulator is the core of the receiver. The system architecture is described. The complexity of the design requires extensive use of both computer aided engineering (CAE) tools and computer aided software engineering (CASE) tools to ensure success. CAE and CASE tools are being used to perform system simulation, hardware design and simulation, and software design, frame generation, and configuration control.<>
一种用于深空应用的新型地面接收机正在设计中。通过利用高速砷化镓专用集成电路、先进的单板计算机和实时嵌入式操作系统,Block V接收器将大大减少跟踪综合体的设备体积,同时提供更高可靠性的新功能。数字解调器是接收机的核心。介绍了系统的体系结构。设计的复杂性要求广泛使用计算机辅助工程(CAE)工具和计算机辅助软件工程(CASE)工具来确保成功。CAE和CASE工具被用于执行系统仿真、硬件设计和仿真、软件设计、框架生成和组态控制。
{"title":"An extremely sensitive digital receiver for deep space satellite communications","authors":"J. Berner, K. M. Ware","doi":"10.1109/PCCC.1992.200608","DOIUrl":"https://doi.org/10.1109/PCCC.1992.200608","url":null,"abstract":"A new ground based receiver for deep space applications is being designed. By utilizing high speed gallium arsenide applications specific integrated circuits, advanced single board computers, and a real-time embedded operating system, the Block V Receiver will dramatically reduce the volume of equipment at a tracking complex, yet will provide new capabilities with higher reliability. A digital demodulator is the core of the receiver. The system architecture is described. The complexity of the design requires extensive use of both computer aided engineering (CAE) tools and computer aided software engineering (CASE) tools to ensure success. CAE and CASE tools are being used to perform system simulation, hardware design and simulation, and software design, frame generation, and configuration control.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"105 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127159436","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
Remote visualization and parallelism using existing networks 使用现有网络的远程可视化和并行性
K. Maly, F. Paterra, C. M. Overstreet, R. Mukkamala, S. Khanna
A method for using existing networks and available parallel channels to provide the needed throughput for remote visualization is proposed. This method keeps the functionalities of the traditional protocol stack but introduces parallelism at all points where bottlenecks can develop. The approach allows the use of existing protocol standards and off-the-shelf hardware to permit new applications that require higher bandwidths. The design tradeoffs in this approach are discussed to develop working architectures needed to solve the animation problems of 5, 10, and 33 frames/s, or 10 Mb every 200 ms, 100 ms, and 30 ms, respectively.<>
提出了一种利用现有网络和可用并行信道来提供远程可视化所需吞吐量的方法。这种方法保留了传统协议栈的功能,但在可能出现瓶颈的所有点上引入了并行性。该方法允许使用现有的协议标准和现成的硬件来支持需要更高带宽的新应用程序。讨论了这种方法的设计权衡,以开发解决5、10和33帧/秒的动画问题所需的工作架构,或每200毫秒、100毫秒和30毫秒10 Mb的动画问题。
{"title":"Remote visualization and parallelism using existing networks","authors":"K. Maly, F. Paterra, C. M. Overstreet, R. Mukkamala, S. Khanna","doi":"10.1109/PCCC.1992.200510","DOIUrl":"https://doi.org/10.1109/PCCC.1992.200510","url":null,"abstract":"A method for using existing networks and available parallel channels to provide the needed throughput for remote visualization is proposed. This method keeps the functionalities of the traditional protocol stack but introduces parallelism at all points where bottlenecks can develop. The approach allows the use of existing protocol standards and off-the-shelf hardware to permit new applications that require higher bandwidths. The design tradeoffs in this approach are discussed to develop working architectures needed to solve the animation problems of 5, 10, and 33 frames/s, or 10 Mb every 200 ms, 100 ms, and 30 ms, respectively.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116734854","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
Preliminary hazard analysis for safety-critical software systems 安全关键软件系统的初步危害分析
L. Gowen, J. Collofello, F. Calliss
The authors identify strategies for conducting preliminary software hazard analysis, which includes software hazard identification, documentation, and review. The goal for such strategies is to improve a system's overall safety by increasing the hazard list's completeness, correctness, and preciseness. Along with presenting these strategies, a framework is introduced for applying them to safety-critical software development. Before explaining the framework and its related strategies, relevant background issues that relate to safety are discussed.<>
作者确定了进行初步软件危害分析的策略,其中包括软件危害识别、文档和审查。这种策略的目标是通过增加危险列表的完整性、正确性和准确性来提高系统的整体安全性。在介绍这些策略的同时,还介绍了将它们应用于安全关键型软件开发的框架。在解释框架及其相关策略之前,讨论与安全相关的相关背景问题。
{"title":"Preliminary hazard analysis for safety-critical software systems","authors":"L. Gowen, J. Collofello, F. Calliss","doi":"10.1109/PCCC.1992.200597","DOIUrl":"https://doi.org/10.1109/PCCC.1992.200597","url":null,"abstract":"The authors identify strategies for conducting preliminary software hazard analysis, which includes software hazard identification, documentation, and review. The goal for such strategies is to improve a system's overall safety by increasing the hazard list's completeness, correctness, and preciseness. Along with presenting these strategies, a framework is introduced for applying them to safety-critical software development. Before explaining the framework and its related strategies, relevant background issues that relate to safety are discussed.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132045418","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}
引用次数: 17
DeltaStar: a general algorithm for incremental satisfaction of constraint hierarchies DeltaStar:一种用于约束层次的增量满足的通用算法
B. Freeman-Benson, M. Wilson, A. Borning
The DeltaStar incremental algorithm for solving constraint hierarchies, which was developed as part of a continuing investigation on the design and implementation of constraint programming languages, is described. DeltaStar is a framework for incremental solvers built above an existing flat solver that provides the constraint solving techniques. By plugging different flat solvers into DeltaStar, different hierarchical solvers can quickly be produced and experimented with. Two implementations of DeltaStar, as well as previous algorithms that can be viewed as instances of DeltaStar, are discussed.<>
本文描述了用于求解约束层次的DeltaStar增量算法,该算法是对约束编程语言的设计和实现的持续研究的一部分。DeltaStar是一个增量求解器框架,建立在现有的平面求解器之上,提供约束求解技术。通过将不同的平面求解器插入DeltaStar,可以快速生成不同的分层求解器并进行实验。讨论了DeltaStar的两种实现,以及可以视为DeltaStar实例的先前算法。
{"title":"DeltaStar: a general algorithm for incremental satisfaction of constraint hierarchies","authors":"B. Freeman-Benson, M. Wilson, A. Borning","doi":"10.1109/PCCC.1992.200605","DOIUrl":"https://doi.org/10.1109/PCCC.1992.200605","url":null,"abstract":"The DeltaStar incremental algorithm for solving constraint hierarchies, which was developed as part of a continuing investigation on the design and implementation of constraint programming languages, is described. DeltaStar is a framework for incremental solvers built above an existing flat solver that provides the constraint solving techniques. By plugging different flat solvers into DeltaStar, different hierarchical solvers can quickly be produced and experimented with. Two implementations of DeltaStar, as well as previous algorithms that can be viewed as instances of DeltaStar, are discussed.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133418640","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}
引用次数: 15
期刊
Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]
全部 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