掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International conference on quantitative evaluation of systems
International conference on quantitative evaluation of systems
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Scalar: A Distributed Scalability Analysis Framework
机译:
标量:分布式可伸缩性分析框架
作者:
Thomas Heyman
;
Davy Preuveneers
;
Wouter Joosen
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
2.
Non-intrusive Scalable Memory Access Tracer
机译:
非侵入式可扩展内存访问跟踪器
作者:
Nobuyuki Ohba
;
Seiji Munetoh
;
Atsuya Okazaki
;
Yasunao Katayama
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
关键词:
memory trace;
memory system;
performance measurement;
3.
Probabilistic Programming Process Algebra
机译:
概率编程过程代数
作者:
Anastasis Georgoulas
;
Jane Hillston
;
Dimitrios Milios
;
Guido Sanguinetti
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
4.
PALOMA: A Process Algebra for Located Markovian Agents
机译:
PALOMA:定位的马尔可夫代理的过程代数
作者:
Cheng Feng
;
Jane Hillston
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
5.
Quantitative Evaluation of Service Dependability in Shared Execution Environments
机译:
共享执行环境中服务可靠性的定量评估
作者:
Samuel Kounev
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
6.
Multi-agent Networked Systems with Adversarial Elements
机译:
具有对抗性元素的多主体网络系统
作者:
Tamer Basar
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
7.
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems
机译:
反应概率系统测试等价物的判别力:结果与开放性问题
作者:
Marco Bernardo
;
Davide Sangiorgi
;
Valeria Vignudelli
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
8.
Continuity Properties of Distances for Markov Processes
机译:
马尔可夫过程的距离连续性
作者:
Manfred Jaeger
;
Hua Mao
;
Kim Guldstrand Larsen
;
Radu Mardare
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
9.
A Structured Solution Approach for Markov Regenerative Processes
机译:
马尔可夫再生过程的结构化求解方法
作者:
Elvio Gilberto Amparore
;
Peter Buchholz
;
Susanna Donatelli
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
10.
Low-Rank Tensor Methods for Communicating Markov Processes
机译:
用于传达马尔可夫过程的低秩张量方法
作者:
Daniel Kressner
;
Francisco Macedo
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
11.
Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata
机译:
确定1时钟决策随机定时自动机的可达性的值1问题
作者:
Nathalie Bertrand
;
Thomas Brihaye
;
Blaise Genest
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
12.
Decidable Problems for Unary PFAs
机译:
一元PFA的可确定问题
作者:
Rohit Chadha
;
Dileep Kini
;
Mahesh Viswanathan
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
13.
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids
机译:
评估分布式自动化电网中风暴影响的可扩展方法
作者:
Alberto Avritzer
;
Laura Carnevali
;
Lucia Happe
;
Anne Koziolek
;
Daniel Sadoc Menasche
;
Marco Paolieri
;
Sindhu Suresh
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
关键词:
Survivability;
cyber-physical systems;
smart-grid;
14.
Compositionality Results for Quantitative Information Flow
机译:
定量信息流的组合性结果
作者:
Yusuke Kawamoto
;
Konstantinos Chatzikokolakis
;
Catuscia Palamidessi
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
15.
A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems
机译:
统计非线性和随机动力系统可达性的统计方法
作者:
Luca Bortolussi
;
Guido Sanguinetti
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
16.
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads
机译:
非均匀恒温控制载荷的形式综合与验证
作者:
Sadegh Esmaeil Zadeh Soudjani
;
Sebastian Gerwinn
;
Christian Ellen
;
Martin Fraenzle
;
Alessandro Abate
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
关键词:
Thermostatically controlled load;
Markov chain;
Poisson process;
Formal abstraction;
Probabilistic bisimulation;
Stochastic optimal control;
Noisy optimization;
17.
CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems
机译:
CyberSAGE:网络物理系统自动安全评估工具
作者:
An Hoa Vu
;
Nils Ole Tippenhauer
;
Binbin Chen
;
David M. Nicol
;
Zbigniew Kalbarczyk
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
18.
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains
机译:
大马尔可夫链中有界可达概率的符号逼近
作者:
Markus N. Rabe
;
Christoph M. Wintersteiger
;
Hillel Kugler
;
Boyan Yordanov
;
Youssef Hamadi
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
19.
Finite Abstractions of Stochastic Max-Plus-Linear Systems
机译:
随机最大加线性系统的有限抽象
作者:
Dieky Adzkiya
;
Sadegh Esmaeil Zadeh Soudjani
;
Alessandro Abate
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
关键词:
Max-plus-linear systems;
Max-plus algebra;
Discrete-time stochastic processes;
Continuous state spaces;
Abstractions;
Approximate probabilistic bisimulations;
20.
Mean Field for Performance Models with Generally-Distributed Timed Transitions
机译:
具有一般分布的定时过渡的性能模型的平均字段
作者:
Richard A. Hayden
;
Illes Horvath
;
Miklos Telek
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
关键词:
mean-field limit;
generally-distributed delay;
delayed differential equation;
21.
Accelerating Parametric Probabilistic Verification
机译:
加速参数概率验证
作者:
Nils Jansen
;
Florian Corzilius
;
Matthias Volk
;
Ralf Wimmer
;
Erika Abraham
;
Joost-Pieter Katoen
;
Bernd Becker
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
22.
Preface
机译:
前言
作者:
Gethin Norman
;
William Sanders
;
Enrico Vicario
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
23.
Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models
机译:
马尔可夫种群模型的平均场逼近和拟均衡化
作者:
Luca Bortolussi
;
Rytis Paskauskas
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
24.
On Performance of Gossip Communication in a Crowd-Sensing Scenario
机译:
人群感知场景中八卦交流的表现
作者:
Marcel C. Guenther
;
Jeremy T. Bradley
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
关键词:
Crowd-sensing;
Gossip networks;
Spatial modelling;
Smart city;
Time-inhomogeneous delay-only population CTMC models;
25.
Probabilistic Model Checking of DTMC Models of User Activity Patterns
机译:
用户活动模式的DTMC模型的概率模型检查
作者:
Oana Andrei
;
Muffy Calder
;
Matthew Higgs
;
Mark Girolami
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
26.
Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks
机译:
车载网络中信标的IEEE 802.11 DCF和EDCA性能比较
作者:
Geert Heijenk
;
Martijn van Eenennaam
;
Anne Remke
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
27.
A New GreatSPN GUI for GSPN Editing and CSL~(TA) Model Checking
机译:
GSPN编辑和CSL〜(TA)模型检查的新GreatSPN GUI
作者:
Elvio Gilberto Amparore
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
关键词:
CSL~(TA) stochastic logic;
GreatSPN;
GUI;
GSPN editor;
28.
The Octave Queueing Package
机译:
八度排队包
作者:
Moreno Marzolla
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
29.
A Perfect Sampling Algorithm of Random Walks with Forbidden Arcs
机译:
具有禁止弧的随机游动的一种完美采样算法
作者:
Stephane Durand
;
Bruno Gaujal
;
Florence Perronnin
;
Jean-Marc Vincent
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
关键词:
Perfect simulation;
Markov chain;
random walks;
30.
Modelling Replication in NoSQL Datastores
机译:
在NoSQL数据存储中建模复制
作者:
Rasha Osman
;
Pietro Piazzolla
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
31.
On Queues with General Service Demands and Constant Service Capacity
机译:
具有一般服务需求和恒定服务能力的队列
作者:
Herwig Bruneel
;
Wouter Rogiest
;
Joris Walraevens
;
Sabine Wittevrongel
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
关键词:
queueing;
discrete-time;
independent arrivals;
general service requirements;
fixed service capacity;
32.
Simulation Debugging and Visualization in the Moebius Modeling Framework
机译:
Moebius建模框架中的仿真调试和可视化
作者:
Craig Buchanan
;
Ken Keefe
会议名称:
《International conference on quantitative evaluation of systems》
|
2014年
关键词:
discrete-event simulation;
simulation visualization;
model debugging;
multi-formalism modeling;
意见反馈
回到顶部
回到首页