多线程建模相关论文
针对可重构多核系统多任务仿真耗时长、并发性差的问题,提供了一种分层的、以资源请求异步响应为特点的松耦合多精度多线程系统建......
并发模型分析主要用于业务流程逻辑验证,并不能很好支持多线程程序建模。目前大部分研究主要针对Java程序的死锁检测,对于使用POSI......
