论文部分内容阅读
本文对不同通信及协调机制的程序设计语文的公平性问题进行了讨论。本文的讨论基于一般的转换系统模型，此模型为我们统一地处理不同机制的语言提供了一个基础。文中给出了三类公平概念：弱公平性，进程公平性和强公平性。我们进一步对每一类公平性进行了分析。
公平性分类及其分析
【摘 要】
：
本文对不同通信及协调机制的程序设计语文的公平性问题进行了讨论。本文的讨论基于一般的转换系统模型，此模型为我们统一地处理不同机制的语言提供了一个基础。文中给出了三类
【机 构】
：
南京大学计算机科学系
【出 处】
：
计算机工程与科学
【发表日期】
：
1996年2期
其他文献
建立了常压磷酸消解-电感耦合等离子体发射光谱法(ICP-OES)测定钕掺杂钇铝石榴石中Al、Y、Nd元素含量的分析方法。考察了基体元素对掺杂元素测定的干扰情况,实验结果表明Al、
海上风电发展前景十分广阔,经过十余年的发展,海上风电不断取得进步,与此同时,发展形势一直发生变化,机遇与风险并存,对企业的管理提出更高要求。本文通过阐述海上风电企业全
论述了Ｃａｃｈｅ在高性能计算机系统中的作用和访问Ｃａｃｈｅ的过程，以及Ｃａｃｈｅ数据一致性问题和解决的方法，介绍和分析了ＰＣＩ协议对Ｃａｃｈｅ的支持。
目的:探讨妊娠期合并亚临床甲减对妊娠结局和新生儿的影响。方法:选择本院2017年6月至2019年6月期间收治的妊娠期合并亚临床甲减孕妇41例为研究组,另选择同期于我院产检分娩
园林企业以园林苗木为主要存货,也是园林企业的主要生产资料.在财务管理对营运资金的管理应用中,主要涉及企业的流动资产与流动负债管理,在园林企业的营运活动中,苗木种子的
目的研究分析西宁地区面部微整形应用透明质酸导致患者视功能障碍的临床表现。方法方便选择2015年1月—2019年1月期间该院眼科接收的12例视功能障碍患者作为研究对象,其视功
《QQ华夏》医生的技能可以相当连贯．如行云流水，敌人的血可以被你抽得相当快，很多医生就知道有个厉凿的爪子很厉害，就不停抓呀抓的，不是每个人都会像木头一样给你抓的。还有医生觉
本文介绍了分形图象压缩理论，传统四叉树分形图象压缩方法及其不足。针对传统方法编码速度慢的缺点，本文介绍了一种有效缩小查找范围的智能回形查找方法并给出了算法。
本课题将视野锁定在日本江户时代前期的服饰样式论,涉及日本江户时代绘画史、染织工艺史及近世初期町人文化和美意识等问题。日本的传统服饰,在上古奈良时代受到来自中国大陆