维普中文期刊产品整合服务
41篇 您的检索式:作者名="COURCOUBETIS C"
    题名 作者 年代 出处 被引量
1Effective Bandwidths for Stationary Source显示文摘 Weber R 1995Probability in Engineering and Informational Sceinces1995,9,2:1
2Model-checking in dense real- time显示文摘Alur R Courcoubetis C Dill D L 1993lnformation and Computation1993,104,1:1
3Weighted round-robin cell multiplexing in a general-purpose ATM switch chip显示文摘KATEVENIS M SIDIROPOULOS S COURCOUBETIS C 1991IEEE Journal on Selected Areas in Communications1991,9,8:1
4Effective bandwidths for stationary sources显示文摘COURCOUBETIS C WEBER R 1995Probability in Engineering and Information Sciences1995,9,2:1
5Memory efficient algorithms for the verification of temporal properties显示文摘COURCOUBETIS C VARDI M WOLPER P 1992Formal Methods in System Design1992,,1:1
6Effective Bandwidths for Stationary Sources 显示文摘COURCOUBETIS C WEBER R 1995Probability in Eng and Info Sci1995,9,2:1
7Weighted Roundrobin Cell Multiplexing in a General-prupose ATM Switch Chip显示文摘Katavenis M Sidiropoulos S Courcoubetis C 1991IEEE Journal on Selected Areas in Communication1991,9,8:1
8Effective bandwidth for stationary sources 显示文摘Courcoubetis C Weber R 1995Probability in Engineering and Information Sciences1995,9,2:1
9Weighted round-robin cell multiplexing in a general-purpose ATM switch chip 显示文摘KATEVENIS M SIDIROPOULOS S COURCOUBETIS C 1991IEEE Journal on Selected Areas in Communications1991,9,3:1
10Application and Evaluation of Large Deviation Techniques for Traffic Engineering in Broadband Networks 显示文摘COURCOUBETIS C SIRIS V A STAMOULIS G D 1998Proc ACM Sigmetrics1998,26,1:1
11Model-checking in dense realtime显示文摘Alur R Courcoubetis C Dill D 1993Information and Computation1993,104,1:1
12Model checking in dense real- time显示文摘Alur R Courcoubetis C Dill D 1993Information and computation1993,104,1:1
13The algorithmic analysis of hybrid systems显示文摘Alur R Courcoubetis C Halbwachs N 1995Theoretical Computer Science1995,138,:1
14Model-checking in dense real-time显示文摘Alur R Courcoubetis C Dill D L 1995Information and Computation1995,104,:1
15The algorithmic analysis of hybrid systems显示文摘Alur R Courcoubetis C Halbwachs N Henzinger TA Ho PH Nicollin X Olivero A Sifakis J Yovine S 0,,01:1
16Weighted Round- Robin Cell Multiplexing in a General-Purpose ATM Switch Chip 显示文摘M Katavenis S Sidiropoulos C Courcoubetis 1991IEEE Journal on Selected Areas in Communication (S0733-8716)1991,9,8:1
17Application and evaluation of large deviation techniques for traffic engineering in broadband networks显示文摘COURCOUBETIS C SIRIS V A STAMOULIS G D 1998ACM SIGMETRICS Performance Eva-luation Review1998,26,1:1
18Incentives for large peer-to-peer systems显示文摘COURCOUBETIS C WEBER R 2006IEEE Journal on Selected Areas in Communications2006,24,5:1
19Weighted roundrobin cell multiplexing in a general-purpose ATM switch chip显示文摘M Katevenis S Sidiropoulos C Courcoubetis 1991IEEE Journal Select Areas Communications1991,9,8:1
20The algorithmic analysis of hybrid systems显示文摘Alur R Courcoubetis C Halbwachs N 1995Theoretical Computer Science1995,138,:1
返回顶部 每页显示:
共3页 首页 上一页 第1页 下一页 末页 /3 跳转

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1 渝公网安备 50019002500403号 违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费