QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Stochastic Process Algebra with Value-Passing and Weak Time Restrictions 期刊论文 2015, 2015 Guang Zheng; Jinzhao Wu; Aiping Lu 收藏  |  浏览/下载：5/0  |  提交时间：2017/06/19 stochastic process algebra  value passing  equivalence  bisimulation  weak time restriction   Stochastic process algebra with value-passing and weak time restrictions 期刊论文 Journal of Software, 2011, 卷号: 6, 期号: 5, 页码: 769-782 作者:  Zheng, Guang;  Wu, Jinzhao;  Lu, Aiping 收藏  |  浏览/下载：2/0  |  提交时间：2016/07/15 Bisimulations  Equivalence  Stochastic process algebras  Time restriction  Value passing   网格系统中一种基于MSMQ的任务调度模型及性能分析 期刊论文 2010, 2010 王高才; 林闯; 刘晓冬; WANG Gao-cai; LIN Chuang; LIU Xiao-dong 收藏  |  浏览/下载：4/0 Performance Modeling and analysis for centralized resource scheduling in metropolitan-area grids 会议论文 ADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS, PROCEEDINGS, 8th Asia-Pacific Web Conference and Workshops (APWeb 2006), Harbin, PEOPLES R CHINA, Web of Science Wang, GC; Lin, C; Liu, XD 收藏  |  浏览/下载：4/0 Stochastic extension for real time process algebra with urgency executing policy 会议论文 2009 International Conference on Computational Intelligence and Software Engineering, CiSE 2009, Wuhan, China, December 11, 2009 - December 13, 2009 作者:  Li, Xifu;  Zheng, Guang;  Li, Lian;  Wu, Jinzhao;  Chen, Wenbo 收藏  |  浏览/下载：2/0  |  提交时间：2017/01/18 Real time systems  Algebra  Artificial intelligence  Computer software  Interactive computer systems  Random processes  Stochastic systems  Exponential distributions  Process algebras  Real time  Real-time process algebra  Stochastic process algebras   Stochastic Process Algebra with Value-Passing 会议论文 International Conference on Computer Science and Software Engineering, CSSE 2008, Wuhan, Hubei, China, December 12, 2008 - December 14, 2008 作者:  Guang, Zheng;  Jinzhao, Wu;  Lian, Li 收藏  |  浏览/下载：5/0  |  提交时间：2017/01/18 Algebra  Computer programming languages  Random processes  Semantics  Software engineering  Stochastic systems  Bisimulations  Concurrent systems  Operational semantics  Process algebras  Process expression  Sstochastic process algebra  Stochastic process algebras  Value passing   An optimize algorithm for path probabilities in stochastic process algebras 会议论文 Jinan, China, October 18, 2008 - October 20, 2008 作者:  Xiyng, Zhao 收藏  |  浏览/下载：9/0  |  提交时间：2020/11/15 Algebra  Computational complexity  Dynamic programming  Random processes  Scheduling  Dynamic programming methods  Non-determinism  Path probability  Stochastic process algebras  Time bound