×

找到226个文档（结果1-100）

最新的 引文 相关性
Straßer，基督徒;佩雷·帕尔多

优先违约和正式论证。 （英语） Zbl 07655721号

刘芬荣（编辑）等，道义逻辑与规范体系。第十五届国际会议，DEON 2020/2021。伦敦：学院出版物。427-446 (2021).
MSC公司：03B45号 03B60号 03B20型 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{C.Straßer}和\textit{P.Pardo}，in：道义逻辑和规范系统。第十五届国际会议，DEON 2020/2021。伦敦：学院出版物。427--446（2021；Zbl 07655721）
乔米·普纳拉尔;南巴布。

具有优先级自生成、客户诱导中断和客户重试的\（MAP/（PH，PH，PH）/1）模型。 （英语） Zbl 1473.60142号

Joshua，V.C.（编辑）等人，《应用概率与随机过程》。根据2019年1月7日至10日在印度喀拉拉邦举行的国际会议上的发言选出的论文。为纪念A.Krishnamoorthy教授。新加坡：斯普林格。Infosys科学。找到。序列号。，355-370 (2020).
MSC公司：60千克25
PDF格式BibTeX公司 XML格式引用
\textit{J.Punalal}和\textit{S.Babu}，in：应用概率和随机过程。根据2019年1月7日至10日在印度喀拉拉邦举行的国际会议上的发言选出的论文。为纪念A.Krishnamoorthy教授。新加坡：斯普林格。355--370（2020；Zbl 1473.60142）
全文： DOI程序
梅利科夫，A.Z。;洛杉矶Ponomarenko。;梅赫巴利耶娃，E.V。

分析具有异构服务器的系统的模型。 （英语。俄文原件） Zbl 1456.60245号

赛博。系统。分析。 56，第1号，89-99（2020年）; 翻译自Kibern。西斯特。分析。2020年，第1期，第106-117页（2020年）。
MSC公司：60千克25 68平方米 90B22型
PDF格式BibTeX公司 XML格式引用
\textit{A.Z.Melikov}等人，Cybern。系统。分析。56，第1号，89--99（2020；Zbl 1456.60245）；翻译自Kibern。西斯特。分析。2020年，第1期，106-117（2020）
全文： DOI程序
梅利科夫，A.Z。;Mekhbalyeva，E.V.公司。

分析和优化具有异构服务器和跳转优先级的系统。 （英语。俄文原件） Zbl 1440.93159号

J.计算。系统。科学。国际。 58，编号5，718-735（2019）; 翻译自Izv。罗斯。阿卡德。特奥·诺克。西斯特。向上。2019年，第5期，第56-74页（2019年）。
MSC公司：93C83号 93E03型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Z.Melikov｝和\textit｛E.V.Mekhbaleva｝，J.Comput。系统。科学。国际58号第5、718--735条（2019年；Zbl 1440.93159）；翻译自Izv。罗斯。阿卡德。特奥·诺克。西斯特。向上。2019年，第5期，第56-74期（2019年）
全文： DOI程序
梅尔库洛夫，V.I。;Plyashechnik，A.S。

飞机群交战的简化目标分配问题。 （英语。俄文原件） Zbl 1431.93048号

自动。远程控制 80，第3号，490-501（2019）; Avtom翻译。Telemekh公司。2019年，第3期，第123-137页（2019年）。
MSC公司：93立方厘米 68瓦99
PDF格式BibTeX公司 XML格式引用
\textit{V.I.Merkulov}和\textit{A.S.Plyashechnik}，汽车。遥控器80，编号3，490--501（2019；Zbl 1431.93048）；Avtom翻译。Telemekh公司。2019年第3期第123-137页（2019年）
全文： DOI程序
罗伯特·谢夫勒;马丁·斯特里勒;劳拉·巴尔加斯·科赫

具有边缘优先权的路由博弈的均衡。 （英语） Zbl 1443.91033号

Christodoulou，George（编辑）等人，《网络和互联网经济学》。2018年12月15日至17日在英国牛津举行的2018年WINE第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11316, 408-422 (2018).
MSC公司：91A14号机组 91A43型 91A68型
PDF格式BibTeX公司 XML格式引用
\textit{R.Schefler}等人，Lect。注释计算。科学。11316、408--422（2018；Zbl 1443.91033）
全文： DOI程序 arXiv公司
安德烈·福尔曼

道义缺省逻辑中的扩展和投影。 （英语） 兹伯利1418.03081

Arazim，Pavel（编辑）等人，《2017年逻辑年鉴》。2017年6月19日至23日，捷克共和国赫尼茨修道院，第31届年度国际研讨会Logica会议记录。伦敦：学院出版物。77-88 (2018).
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{A.Fuhrmann}，收录于：《2017年逻辑年鉴》。2017年6月19日至23日，捷克共和国赫尼茨修道院，第31届年度国际研讨会Logica会议记录。伦敦：学院出版物。77-88（2018；Zbl 1418.03081）
诺曼·魏克;斯蒂芬·齐格;尼尔斯·聂恩

双线铁路双向区段的交通管理启发。 （英语） Zbl 1397.90103号

Kliewer，Natalia（编辑）等人，《2017年运营研究会议记录》。2017年9月6日至8日，德国柏林大学，德国运筹学会（GOR）年度国际会议论文集。查姆：施普林格（ISBN 978-3-319-89919-0/pbk；978-3-3169-89920-6/电子书）。《运筹学论文集》，729-735（2018）。
MSC公司：90B20型 90 C59 90B90型
PDF格式BibTeX公司 XML格式引用
\textit{N.Weik}等人，作品。研究程序。2017年，729--735（2018年；Zbl 1397.90103）
全文： DOI程序 链接
O.B.扎伊特塞娃。;Kondrashova，E.V.公司。

半马尔可夫排队模型中的优先级管理。 （英语） Zbl 1383.60092号

Rykov，Vladimir V.（编辑）等人，《概率论中的分析和计算方法》。2017年10月23日至27日在俄罗斯莫斯科举行的2017年ACMPT第一届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-71503-2/pbk；978-3-3169-71504-9/电子书）。计算机科学课堂讲稿10684，65-74（2017）。
MSC公司：60千克25 60 K15
PDF格式BibTeX公司 XML格式引用
\textit{O.B.Zaytseva}和\textit{E.V.Kondrashova}，莱克特。注释计算。科学。10684、65-74（2017年；Zbl 1383.60092）
全文： DOI程序
陶菲克·阿利耶夫

在有限制的系统中综合服务规程。 （英语） Zbl 1390.68109号

Vishnevsky，Vladimir（编辑）等人，《分布式计算机和通信网络》。2015年10月19-22日在俄罗斯莫斯科举行的第18届DCCN国际会议。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-30842-5/pbk；978-3-3169-30843-2/电子书）。《计算机与信息科学通信》601，151-156（2016）。
MSC公司：68平方米
PDF格式BibTeX公司 XML格式引用
\textit{T.Aliev}，Commun公司。计算。信息科学。601151-156（2016；Zbl 1390.68109）
全文： DOI程序
基里尔·维克托维奇·克罗托夫;塔蒂亚娜·尤里夫娜·克罗托娃

具有不同数据到达时间和优先级的输送机系统中构建动态数据处理计划的梯度方法。 （俄语。英文摘要） Zbl 1375.68033号

维奇尔。特克诺尔。 21，第5号，77-94（2016）.
MSC公司：68平方米 90B30型
PDF格式BibTeX公司 XML格式引用
\textit{K.V.Krotov}和\textit{T.Y.Krotova}，维奇尔。特克诺尔。21，第5号，77--94（2016；Zbl 1375.68033）
全文： 链接
朱莉娅·帕德伯格

具有转移优先级和约束弧的可重构Petri网。 （英语） Zbl 1321.68364号

Parisi-Prescce，Francesco（编辑）等人，《图形变换》。2015年7月21日至23日，作为2015年STAF的一部分，在意大利拉奎拉举行了第八届国际会议，ICGT 2015。诉讼程序。查姆：施普林格（ISBN 978-3-319-21144-2/pbk；978-3-3169-21145-9/电子书）。计算机科学讲义9151，104-120（2015）。
MSC公司：68问题85 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Padberg}，莱克特。注释计算。科学。9151，104-120（2015；Zbl 1321.68364）
全文： DOI程序
迈克尔·埃尔金;阿诺德·菲尔泽;Ofer内曼

优先度量结构和嵌入。 （英语） Zbl 1321.68222号

2015年6月14日至17日，美国俄勒冈州波特兰STOC’15，第47届ACM计算理论年会论文集。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-3536-2）。489-498 (2015).
MSC公司：68磅05分 05C22号 68单位05
PDF格式BibTeX公司 XML格式引用
\textit｛M.Elkin｝等人，载：第47届美国计算机学会计算理论年度研讨会论文集，STOC’15，美国俄勒冈州波特兰，2015年6月14日至17日。纽约州纽约市：计算机协会（ACM）。489--498（2015年；Zbl 1321.68222）
全文： DOI程序 arXiv公司
科琳娜·阿格里戈罗艾;拉维尼亚·费拉里奥;布莱埃斯库，科特林

反映具有静态优先级任务的实时应用程序的在线重新配置。 （英语） Zbl 1363.68031号

灯泡。政治学会。Iași，SecțIa Autom（自动）。计算。 58（62），第1期，9-26（2012）.
MSC公司：68平方米
PDF格式BibTeX公司 XML格式引用
\textit{C.Agrigoroaie}等人，保加利亚。政治学会。Iași，SecțIa Autom（自动）。计算58（62），编号1，9--26（2012；Zbl 1363.68031）
瓦伦蒂安·瓦莱罗;赫梅内吉尔达·马西阿;胡安·何塞·帕尔多;玛丽亚·艾米利亚·坎布罗内罗;格雷戈里奥·迪亚斯

将具有优先级和时间约束的web服务编排转换为具有优先级的时间着色Petri网。 （英语） Zbl 1243.68042号

科学。计算。程序。 77，第3号，290-313（2012）.
MSC公司：68英里11 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛V.Valero｝等人，《科学》。计算。程序。77，第3号，290--313（2012；Zbl 1243.68042）
全文： DOI程序
阿加桑迪扬，G.A。

连续VaR准则在金融市场中的应用。(Применение континуального критерия VaR на финансовых рынках.) （俄语） Zbl 1307.91005号

莫斯科：Rossiĭskaya Akademiya Nauk，Vychislitel'ny \301；Tsentr im。A.A.Dorodnitsyna（ISBN 978-5-91601-050-3）。300页。(2011).
审核人：Anatoliy Swishchuk（卡尔加里）
MSC公司：91-02 91G10型 62P05号 9120国集团 91G70型
PDF格式BibTeX公司 XML格式引用
\textit{G.A.Agasandyan}，ПрименеаиеконтинуалноГакратернаафиансовхррках（俄语）。莫斯科：Rossiĭskaya Akademiya Nauk，Vychislitel'ny \301；Tsentr im。A.A.Dorodnitsyna（2011；Zbl 1307.91005）
伊梅内·本·哈菲德;格拉夫，苏珊娜;内杰拉·马祖兹

具有多方交互和优先级的系统的分布式实现。 （英语） Zbl 1350.68040号

Barthe，Gilles（编辑）等人，《软件工程和形式化方法》。2011年11月14日至18日，乌拉圭蒙得维的亚，2011年SEFM第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24689-0/pbk）。计算机科学课堂讲稿7041，38-57（2011）。
MSC公司：64岁以下 68个M12 68平方米
PDF格式BibTeX公司 XML格式引用
\文本{I.Ben Hafaiedh}等人，Lect。注释计算。科学。7041，38-57（2011；Zbl 1350.68040）
全文： DOI程序
Ju、Fengkui;刘芬荣

更新具有优先级的命令的语义。 （英语） Zbl 1298.03090号

van Ditmarsch，Hans（编辑）等人，《逻辑、理性与互动》。2011年10月10日至13日，第三次国际研讨会，LORI 2011，中国广州。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24129-1/pbk）。计算机科学讲义6953。人工智能课堂讲稿，125-138（2011）。
MSC公司：03B65号
PDF格式BibTeX公司 XML格式引用
\textit{F.Ju}和\textit{F.Liu}，Lect。注释计算。科学。6953、125--138（2011年；Zbl 1298.03090）
全文： DOI程序
马里奥·布拉维蒂

通过混合开/闭系统在进程代数中表示优先级和外部概率。 （英语） Zbl 1277.68166号

Amadio，Roberto（编辑）等人，第14届并发表达性国际研讨会论文集（EXPRESS 2007），葡萄牙里斯本，2007年9月3日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第2期，31-57（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Bravetti}，电子。理论注释。计算。科学。194，编号2，31-57（2008；Zbl 1277.68166）
全文： DOI程序
特蕾西·布劳恩。;霍华德·杰伊·西格尔;安东尼·马西耶夫斯基（Anthony A.Maciejewski）。;Ye Hong

具有依赖关系、优先级、截止日期和多个版本的任务的异构计算环境的静态资源分配。 （英语） Zbl 1243.68049号

J.平行分布计算。 68，编号11，1504-1516（2008）.
MSC公司：64岁以下 68平方米 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{T.D.Braun}等人，J.平行分布计算。68，编号11504-1516（2008年；兹bl 1243.68049）
全文： DOI程序
Damian Parniewicz;马西耶·斯塔西亚克;雅努斯威威奥拉;彼得·齐科夫斯基（Piotr Zwierzykowski）

WCDMA接口的近似模型，为具有优先级的多速率业务流提供服务。 （英语） Zbl 1180.68087号

Thomas，Nigel（编辑）等人，《计算机性能工程》，第五届欧洲性能工程研讨会，EPEW 2008，西班牙马洛卡棕榈岛，2008年9月24日至25日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87411-9/pbk）。计算机科学课堂讲稿5261168-180（2008）。
MSC公司：68平方米
PDF格式BibTeX公司 XML格式引用
\textit{D.Parniewicz}等人，Lect。注释计算。科学。5261、168--180（2008年；Zbl 1180.68087）
全文： DOI程序
斯蒂芬·罗奇;卡斯滕·施密特

关于台阶爆炸问题。 （英语） 12346.8307兹比尔

Donatelli，Susanna（编辑）等人，Petri网和其他并发模型——ICATPN 2006。第27届Petri网和其他并发模型的应用和理论国际会议，2006年6月26日至30日，芬兰图尔库。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-34699-9/pbk）。计算机科学课堂讲稿4024342-361（2006）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Roch}和\textit{K.Schmidt}，莱克特。注释计算。科学。4024342--361（2006年；Zbl 1234.68307）
全文： DOI程序
伯纳德·伯托米厄;弗洛伦特·佩雷斯;弗朗索瓦·沃纳达特

架起时间自动机和有界时间Petri网之间的桥梁。 （英语） Zbl 1141.68426号

Asarin，Eugene（编辑）等人，《时间系统的形式化建模和分析》。第四届国际会议，FORMATS 2006，巴黎，法国，2006年9月25-27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45026-9/pbk）。计算机科学课堂讲稿4202，82-97（2006）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Berthomieu}等人，Lect。注释计算。科学。4202，82-97（2006；Zbl 1141.68426）
全文： DOI程序
陈冯;维迪亚达尔·库尔卡尼。

优先权存在下的准入控制：样本路径方法。 （英语） Zbl 1118.90054号

Yan，Houmin（编辑）等人，《随机过程、优化和控制理论：在金融工程、排队网络和制造系统中的应用》。纪念苏雷什·塞蒂60岁生日的一本书。纽约州纽约市：施普林格出版社（ISBN 0-387-33770-9/hbk）。运筹学与管理科学国际丛书94，73-95（2006）。
MSC公司：90立方厘米 90B25型
PDF格式BibTeX公司 XML格式引用
\textit{F.Chen}和\textit{V.G.Kulkarni}，国际Ser。操作人员。资源管理。科学。94、73-95（2006年；Zbl 1118.90054）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件