首页 > 最新文献

Microprocessing and Microprogramming最新文献

英文 中文
A flexible VLSI-based hardware system for medium-large-vocabulary real-time speech recognition 基于vlsi的大词汇量实时语音识别硬件系统
Pub Date : 1994-12-01 DOI: 10.1016/0165-6074(94)90049-3
J.M. Fernández, F. Moreno, S. Alexandres, J. Meneses

This paper is about a parallel and pipelined hardware system for real-time isolated speech recognition for medium-large Spanish vocabularies, based on Hidden Markov Models (HMMs). The system, relied on a VLSI circuit developed by the authors [1] that implements the Viterbi Algorithm, can keep-up with continuous input and is connected to a host Personal Computer. A software package controls the hardware and runs the user interface.

本文研究了一种基于隐马尔可夫模型(hmm)的并行和流水线硬件系统,用于中大型西班牙语词汇的实时隔离语音识别。该系统基于[1]公司开发的VLSI电路,实现了Viterbi算法,可以保持连续输入,并与主机个人计算机相连。软件包控制硬件并运行用户界面。
{"title":"A flexible VLSI-based hardware system for medium-large-vocabulary real-time speech recognition","authors":"J.M. Fernández,&nbsp;F. Moreno,&nbsp;S. Alexandres,&nbsp;J. Meneses","doi":"10.1016/0165-6074(94)90049-3","DOIUrl":"10.1016/0165-6074(94)90049-3","url":null,"abstract":"<div><p>This paper is about a parallel and pipelined hardware system for real-time isolated speech recognition for medium-large Spanish vocabularies, based on Hidden Markov Models (HMMs). The system, relied on a VLSI circuit developed by the authors [1] that implements the Viterbi Algorithm, can keep-up with continuous input and is connected to a host Personal Computer. A software package controls the hardware and runs the user interface.</p></div>","PeriodicalId":100927,"journal":{"name":"Microprocessing and Microprogramming","volume":"40 10","pages":"Pages 825-828"},"PeriodicalIF":0.0,"publicationDate":"1994-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0165-6074(94)90049-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134490901","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
Rounding error in the computation of opposite sign floating point number parametric addition: a case study 对号浮点数参数加法计算中的舍入误差:一个案例研究
Pub Date : 1994-12-01 DOI: 10.1016/0165-6074(94)90051-5
Massimo Bartolucci , Giacomo R. Sechi

This paper presents a study about rounding error arising in the addition of opposite sign floating point operands: the algebraic study of the adder functionalities provides the possibility to modify hardware in order to measure the rounding error effect in terms of error size and incoming rate.

本文研究了对号浮点操作数相加时产生的舍入误差:对加法器功能的代数研究提供了修改硬件的可能性,以便在误差大小和传入率方面测量舍入误差的影响。
{"title":"Rounding error in the computation of opposite sign floating point number parametric addition: a case study","authors":"Massimo Bartolucci ,&nbsp;Giacomo R. Sechi","doi":"10.1016/0165-6074(94)90051-5","DOIUrl":"10.1016/0165-6074(94)90051-5","url":null,"abstract":"<div><p>This paper presents a study about rounding error arising in the addition of opposite sign floating point operands: the algebraic study of the adder functionalities provides the possibility to modify hardware in order to measure the rounding error effect in terms of error size and incoming rate.</p></div>","PeriodicalId":100927,"journal":{"name":"Microprocessing and Microprogramming","volume":"40 10","pages":"Pages 833-839"},"PeriodicalIF":0.0,"publicationDate":"1994-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0165-6074(94)90051-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133877620","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
Author index to volume 40 (1994) 第40卷作者索引(1994年)
Pub Date : 1994-12-01 DOI: 10.1016/0165-6074(94)90075-2
{"title":"Author index to volume 40 (1994)","authors":"","doi":"10.1016/0165-6074(94)90075-2","DOIUrl":"https://doi.org/10.1016/0165-6074(94)90075-2","url":null,"abstract":"","PeriodicalId":100927,"journal":{"name":"Microprocessing and Microprogramming","volume":"40 10","pages":"Pages 943-947"},"PeriodicalIF":0.0,"publicationDate":"1994-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0165-6074(94)90075-2","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136510389","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
Constructing a domain dependent case-base for database schema design with case-based reasoning 利用基于案例推理的方法,构建了一个领域相关的数据库模式设计实例库
Pub Date : 1994-12-01 DOI: 10.1016/0165-6074(94)90030-2
Yong-Kee Paek , Jungyun Seo, Gil-Chang Kim

This paper presents the potential for case-based reasoning in design problems, specifically as applied to relational database schema design. The proposed system relies on two case-bases that consist of a Domain Dependent Case-Base (DDCB) and a Domain Independent Case-Base (DICB). We focus on the DDCB in this paper. The organization of domain dependent cases and their features for design are identified. The strategies for retrieving the relevant cases, for building a rough solution, for repairing the rough solution, and for learning cases, currently under development, are also described.

本文介绍了基于案例的推理在设计问题中的潜力,特别是在关系数据库模式设计中的应用。所提出的系统依赖于两个案例库,包括一个领域相关的案例库(DDCB)和一个领域独立的案例库(DICB)。本文的研究重点是DDCB。确定了领域相关案例的组织形式及其设计特征。还描述了当前正在开发的用于检索相关案例、构建粗略解决方案、修复粗略解决方案和学习案例的策略。
{"title":"Constructing a domain dependent case-base for database schema design with case-based reasoning","authors":"Yong-Kee Paek ,&nbsp;Jungyun Seo,&nbsp;Gil-Chang Kim","doi":"10.1016/0165-6074(94)90030-2","DOIUrl":"10.1016/0165-6074(94)90030-2","url":null,"abstract":"<div><p>This paper presents the potential for case-based reasoning in design problems, specifically as applied to relational database schema design. The proposed system relies on two case-bases that consist of a Domain Dependent Case-Base (DDCB) and a Domain Independent Case-Base (DICB). We focus on the DDCB in this paper. The organization of domain dependent cases and their features for design are identified. The strategies for retrieving the relevant cases, for building a rough solution, for repairing the rough solution, and for learning cases, currently under development, are also described.</p></div>","PeriodicalId":100927,"journal":{"name":"Microprocessing and Microprogramming","volume":"40 10","pages":"Pages 737-741"},"PeriodicalIF":0.0,"publicationDate":"1994-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0165-6074(94)90030-2","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123136972","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
Morphological evaluation of embryo viability 胚胎活力的形态学评价
Pub Date : 1994-12-01 DOI: 10.1016/0165-6074(94)90072-8
I. Erényi, Z. Fazekas

Determining the viability of livestock-embryos is an important procedure in minimizing the economic risk arising in case of transplantation of ‘engineered’ embryos into recipient animals. This evaluation is carried out at various segmentation phases of the embryos. In this paper we present a possible way to ease and/or automate the evaluation of embryo-viability for embryos being in their 8-cell stadium. We mention some grayscale morphological filtering techniques that has proved to be useful for the image segmentation in this stadium of the embryo segmentation. Meaningful circles (or circle-arcs) are fitted to the silhouette of the embryo and that of its constituent cells. Based on these circles morphological indices are calculated which are reported to be useful for the viability check.

确定家畜胚胎的生存能力是将“工程”胚胎移植到受体动物身上所产生的经济风险降至最低的一个重要步骤。这种评估是在胚胎的不同分割阶段进行的。在本文中,我们提出了一种可能的方法来简化和/或自动评估胚胎在其8细胞体育场的胚胎活力。在胚胎分割的这个领域,我们提到了一些灰度形态滤波技术,它们被证明是有用的图像分割技术。有意义的圆圈(或圆弧)与胚胎及其组成细胞的轮廓相吻合。根据这些圆计算形态指标,据报道,这是有用的活力检查。
{"title":"Morphological evaluation of embryo viability","authors":"I. Erényi,&nbsp;Z. Fazekas","doi":"10.1016/0165-6074(94)90072-8","DOIUrl":"10.1016/0165-6074(94)90072-8","url":null,"abstract":"<div><p>Determining the viability of livestock-embryos is an important procedure in minimizing the economic risk arising in case of transplantation of ‘engineered’ embryos into recipient animals. This evaluation is carried out at various segmentation phases of the embryos. In this paper we present a possible way to ease and/or automate the evaluation of embryo-viability for embryos being in their 8-cell stadium. We mention some grayscale morphological filtering techniques that has proved to be useful for the image segmentation in this stadium of the embryo segmentation. Meaningful circles (or circle-arcs) are fitted to the silhouette of the embryo and that of its constituent cells. Based on these circles morphological indices are calculated which are reported to be useful for the viability check.</p></div>","PeriodicalId":100927,"journal":{"name":"Microprocessing and Microprogramming","volume":"40 10","pages":"Pages 931-934"},"PeriodicalIF":0.0,"publicationDate":"1994-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0165-6074(94)90072-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115663979","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
Middleware transaction manager in multidatabase management systems 多数据库管理系统中的中间件事务管理器
Pub Date : 1994-12-01 DOI: 10.1016/0165-6074(94)90034-5
Inhwan Jung , Kisoo Han , Songchun Moon

In this paper, we describe a new transaction management scheme, MTM, for incorporating existing applications of local database systems into multidatabase applications. By capitalizing on the structural semantics of a global transaction, which can be specified in terms of intra-transaction dependencies, global transactions are modeled and executed as open-nested transactions. We design and implement a middleware facility to address issues related to managing transactions when they are described only with high-level operations which are explicitly exported by local database systems. We also describe a group checkpointing scheme to maintain MTM architecture tolerable from failures.

在本文中,我们描述了一种新的事务管理方案,MTM,用于将本地数据库系统的现有应用集成到多数据库应用中。通过利用全局事务的结构语义(可以根据事务内部依赖关系来指定),可以将全局事务建模并作为开放嵌套事务执行。我们设计并实现了一个中间件设施来解决与管理事务相关的问题,当事务仅用本地数据库系统显式导出的高级操作来描述时。我们还描述了一个组检查点方案,以维护MTM体系结构免受故障的影响。
{"title":"Middleware transaction manager in multidatabase management systems","authors":"Inhwan Jung ,&nbsp;Kisoo Han ,&nbsp;Songchun Moon","doi":"10.1016/0165-6074(94)90034-5","DOIUrl":"10.1016/0165-6074(94)90034-5","url":null,"abstract":"<div><p>In this paper, we describe a new transaction management scheme, <strong><em>MTM</em></strong>, for incorporating existing applications of local database systems into multidatabase applications. By capitalizing on the <em>structural semantics</em> of a global transaction, which can be specified in terms of intra-transaction dependencies, global transactions are modeled and executed as open-nested transactions. We design and implement a <em>middleware</em> facility to address issues related to managing transactions when they are described only with high-level operations which are explicitly exported by local database systems. We also describe <em>a group checkpointing scheme</em> to maintain MTM architecture tolerable from failures.</p></div>","PeriodicalId":100927,"journal":{"name":"Microprocessing and Microprogramming","volume":"40 10","pages":"Pages 755-758"},"PeriodicalIF":0.0,"publicationDate":"1994-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0165-6074(94)90034-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127307383","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
Documenting the process of conformance testing 记录一致性测试过程
Pub Date : 1994-12-01 DOI: 10.1016/0165-6074(94)90025-6
Ana Maria Ponce

The conformance testing documents and their formal description in ACT ONE are briefly explained.

简要解释了ACT ONE中的一致性测试文件及其正式描述。
{"title":"Documenting the process of conformance testing","authors":"Ana Maria Ponce","doi":"10.1016/0165-6074(94)90025-6","DOIUrl":"https://doi.org/10.1016/0165-6074(94)90025-6","url":null,"abstract":"<div><p>The conformance testing documents and their formal description in ACT ONE are briefly explained.</p></div>","PeriodicalId":100927,"journal":{"name":"Microprocessing and Microprogramming","volume":"40 10","pages":"Pages 715-717"},"PeriodicalIF":0.0,"publicationDate":"1994-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0165-6074(94)90025-6","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72293930","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
HP-FLEXAR: A reconfigurable multi-unit heterogeneous topology architecture for time critical applications HP-FLEXAR:用于时间关键应用的可重构多单元异构拓扑架构
Pub Date : 1994-12-01 DOI: 10.1016/0165-6074(94)90039-6
Miroslaw Thor

The main objective of this paper is to present a newly developed high performance reconfigurable multitransputer heterogeneous topology architecture called HP-FLEXAR. The proposed architecture is aimed to be used for time critical applications, especially for performing such computational tasks which could be solved in separate heterogeneous topology execution units using parallel decomposition and allocation algorithms.

The HP-FLEXAR enables dynamic assignment of program tasks to the worker transputers of separate execution units. The heterogeneous topology of these units can be also dynamically changed (during a program execution) according to the run-time analysis performed in the HP-FLEXAR decision and distribution unit (a DD unit). A feedback between the execution and DD units is one of the most important features of the HP-FLEXAR architecture. This enables taking full advantage of its dynamic reconfiguration capabilities.

The HP-FLEXAR being a flexible architecture is not limited to the above applications. One of the other areas of its potential applications is support of development of architectural concepts and communication strategies aimed to increase the efficiency of reconfigurable multi-transputer systems. This can be achieved through direct mapping of different multi-transputer architectural designs onto the HP-FLEXAR structure.

本文的主要目的是介绍一种新开发的高性能可重构多处理器异构拓扑架构HP-FLEXAR。所提出的体系结构旨在用于时间关键型应用程序,特别是用于执行可以使用并行分解和分配算法在单独的异构拓扑执行单元中解决的计算任务。HP-FLEXAR能够动态地将程序任务分配给独立执行单元的工作处理器。这些单元的异构拓扑也可以根据HP-FLEXAR决策和分发单元(DD单元)中执行的运行时分析动态更改(在程序执行期间)。执行和DD单元之间的反馈是HP-FLEXAR架构最重要的特性之一。这使得充分利用其动态重新配置功能成为可能。HP-FLEXAR是一个灵活的架构,并不局限于上述应用。其潜在应用的另一个领域是支持旨在提高可重构多转发器系统效率的架构概念和通信策略的开发。这可以通过将不同的多处理器架构设计直接映射到HP-FLEXAR结构上来实现。
{"title":"HP-FLEXAR: A reconfigurable multi-unit heterogeneous topology architecture for time critical applications","authors":"Miroslaw Thor","doi":"10.1016/0165-6074(94)90039-6","DOIUrl":"10.1016/0165-6074(94)90039-6","url":null,"abstract":"<div><p>The main objective of this paper is to present a newly developed high performance reconfigurable multitransputer heterogeneous topology architecture called HP-FLEXAR. The proposed architecture is aimed to be used for time critical applications, especially for performing such computational tasks which could be solved in separate heterogeneous topology execution units using parallel decomposition and allocation algorithms.</p><p>The HP-FLEXAR enables dynamic assignment of program tasks to the worker transputers of separate execution units. The heterogeneous topology of these units can be also dynamically changed (during a program execution) according to the run-time analysis performed in the HP-FLEXAR decision and distribution unit (a DD unit). A feedback between the execution and DD units is one of the most important features of the HP-FLEXAR architecture. This enables taking full advantage of its dynamic reconfiguration capabilities.</p><p>The HP-FLEXAR being a flexible architecture is not limited to the above applications. One of the other areas of its potential applications is support of development of architectural concepts and communication strategies aimed to increase the efficiency of reconfigurable multi-transputer systems. This can be achieved through direct mapping of different multi-transputer architectural designs onto the HP-FLEXAR structure.</p></div>","PeriodicalId":100927,"journal":{"name":"Microprocessing and Microprogramming","volume":"40 10","pages":"Pages 777-781"},"PeriodicalIF":0.0,"publicationDate":"1994-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0165-6074(94)90039-6","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124378641","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
Fault tolerant programming for network based parallel computing 基于网络的并行计算容错编程
Pub Date : 1994-12-01 DOI: 10.1016/0165-6074(94)90036-1
A. Clematis

Methods and tools for fault tolerance in network based parallel computing are analyzed. Different communications libraries are now available which make it possible to use a local area network as a parallel computer. These libraries provide different services, however only little attention is devoted to the problem of fault tolerance. Using the fact that most of parallel applications exhibit a regular structure it is shown that to provide fault tolerance to this type of computation is much more simple than to provide fault tolerance in a general concurrent program. The primitives which are necessary to support the proposed design, and general implementation problems with respect to shared virtual memory and message passing communications models are briefly considered.

分析了基于网络的并行计算容错方法和工具。现在有不同的通信库,这使得将局域网用作并行计算机成为可能。这些库提供不同的服务,但是很少关注容错问题。大多数并行应用程序都具有规则的结构,这表明为这种类型的计算提供容错比在一般并发程序中提供容错要简单得多。简要地考虑了支持所建议的设计所需的原语,以及关于共享虚拟内存和消息传递通信模型的一般实现问题。
{"title":"Fault tolerant programming for network based parallel computing","authors":"A. Clematis","doi":"10.1016/0165-6074(94)90036-1","DOIUrl":"10.1016/0165-6074(94)90036-1","url":null,"abstract":"<div><p>Methods and tools for fault tolerance in network based parallel computing are analyzed. Different communications libraries are now available which make it possible to use a local area network as a parallel computer. These libraries provide different services, however only little attention is devoted to the problem of fault tolerance. Using the fact that most of parallel applications exhibit a regular structure it is shown that to provide fault tolerance to this type of computation is much more simple than to provide fault tolerance in a general concurrent program. The primitives which are necessary to support the proposed design, and general implementation problems with respect to shared virtual memory and message passing communications models are briefly considered.</p></div>","PeriodicalId":100927,"journal":{"name":"Microprocessing and Microprogramming","volume":"40 10","pages":"Pages 765-768"},"PeriodicalIF":0.0,"publicationDate":"1994-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0165-6074(94)90036-1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124790550","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}
引用次数: 5
Reverse serializability as a correctness criterion for optimistic concurrency control 反向序列化性作为乐观并发控制的正确性标准
Pub Date : 1994-12-01 DOI: 10.1016/0165-6074(94)90035-3
Hyeokmin Kwon, Songchun Moon

If buffer retention effect is taken into account, validation schemes for optimistic concurrency control (OCC) should be approached in some different point of view: rather than killing the conflicting transactions immediately in the middle of their execution, it would be better to allow them to run to their completion for bringing the required data objects into main memory. In this respect, we propose a new validation scheme for OCC called reordering serial equivalence (RSE) by introducing reverse serializability, which ensures the correctness of RSE when we allow the serialization in the reverse order of transactions' commits.

如果考虑缓冲区保留效应,那么乐观并发控制(OCC)的验证方案应该从不同的角度来考虑:与其在执行过程中立即终止冲突的事务,不如让它们运行到完成,以便将所需的数据对象放入主内存。在这方面,我们提出了一种新的OCC验证方案,称为重新排序串行等价(RSE),通过引入反向序列化性,当我们允许以相反的事务提交顺序序列化时,它确保了RSE的正确性。
{"title":"Reverse serializability as a correctness criterion for optimistic concurrency control","authors":"Hyeokmin Kwon,&nbsp;Songchun Moon","doi":"10.1016/0165-6074(94)90035-3","DOIUrl":"10.1016/0165-6074(94)90035-3","url":null,"abstract":"<div><p>If buffer retention effect is taken into account, validation schemes for optimistic concurrency control (OCC) should be approached in some different point of view: rather than killing the conflicting transactions immediately in the middle of their execution, it would be better to allow them to run to their completion for bringing the required data objects into main memory. In this respect, we propose a new validation scheme for OCC called <strong><em>reordering serial equivalence</em></strong> (<strong>RSE</strong>) by introducing <em>reverse serializability</em>, which ensures the correctness of RSE when we allow the serialization in the reverse order of transactions' commits.</p></div>","PeriodicalId":100927,"journal":{"name":"Microprocessing and Microprogramming","volume":"40 10","pages":"Pages 759-762"},"PeriodicalIF":0.0,"publicationDate":"1994-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0165-6074(94)90035-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127751083","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
期刊
Microprocessing and Microprogramming
全部 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