首页> 外文OA文献 >A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs

【2h】

A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs

机译：多线程Java程序的声音和完整共享变量并发模型

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Frank S. de Boer;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A shared-variable concurrency analysis of multi-threaded object-oriented programs [J] . F. S. de Boer Theoretical computer science . 2009,第2a3期

机译：多线程面向对象程序的共享变量并发分析
2. Framework for testing multi-threaded Java programs [J] . Orit Edelstein, Eitan Farchi, Evgeny Goldin, Concurrency and Computation . 2003,第3a5期

机译：测试多线程Java程序的框架
3. Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation [J] . Nazarpour Hosein, Falcone Ylies, Bensalem Saddek, Formal Aspects of Computing . 2017,第6期

机译：多线程基于组件的系统的并发保留和声音监视：理论，算法，实现和评估
4. A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs [C] . F.S. de Boer Formal Methods for Open Object-Based Distributed Systems(FMOODS 2007); 20070606-08; Paphos(CY) . 2007

机译：完善的多线程Java程序共享变量并发模型
5. Contract-based Synchronization of Multi-threaded Java Programs. [D] . Huang, Yi. 2011

机译：基于合同的多线程Java程序同步。
6. A threaded Java concurrent implementation of the Monte-Carlo Metropolis Ising model [O] . Carlos Castañeda-Marroquín, Alfonso Ortega de la Puente, Manuel Alfonseca, -1

机译：Monte-Carlo Metropolis Ising模型的螺纹Java并发实现
7. A shared-variable concurrency analysis of multi-threaded object-oriented programs [O] . de Boer F.S. 2009

机译：多线程面向对象程序的共享变量并发分析
8. FlashLight: A Dynamic Detector of Shared State, Race Conditions, and Locking Models in Concurrent Java Programs [R] . Hale, S. C. 2006

机译：FlashLight：并发Java程序中共享状态，竞争条件和锁定模型的动态检测器

A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs

著录项

引文网络

相似文献

相关主题

期刊订阅