张泽斌;李耀辉 利用统一的泰勒协克里金方法探索各向异性设计空间。 （英语） Zbl 1505.74024号 申请。数学。建模 110, 45-60 (2022).MSC公司：74E10型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}和\textit{Y.Li}，应用。数学。模型110，45-60（2022；Zbl 1505.74024） 全文： 内政部
罗希特·杜雷加;克里斯汀·罗泽尔。 通过可重用可达状态近似进行增量设计空间模型检查。 （英语） 兹比尔1492.68085 形式方法系统。设计。 58，编号3，375-398（2021）.MSC公司：60年第68季度 68T20型 90B20型 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛R.Dureja｝和\textit｛K.Y.Rozier｝，表格方法系统。设计。58，第3号，375--398（2021；Zbl 1492.68085） 全文： 内政部 链接
乔尔·卡塞布拉斯;罗丝琳·乔丁 用于FPGA上灵活高效的有限域乘法器的HDL生成器。 （英语） Zbl 07405935号 Bajard，Jean-Claude（编辑）等人，《有限域的算术》。第八届国际研讨会，WAIFI 2020，法国雷恩，2020年7月6日至8日。修订选定和邀请的论文。查姆：斯普林格。莱克特。注释计算。科学。12542, 75-91 (2021).MSC公司：2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{J.Cathébras}和\textit{R.Chotin}，莱克特。注释计算。科学。12542，75-91（2021；Zbl 07405935） 全文： 内政部
鲁兹贝·阿波尔;玛丽亚姆·德哈尼;马赫迪埃·萨达巴迪。 通过设计空间探索设计LPV系统的控制器参数。 （英语） Zbl 1466.93117号 欧洲药典控制 59, 47-57 (2021).MSC公司：93D05型 93立方厘米05 PDF格式BibTeX公司 XML格式引用 \textit{R.Abolpour}等人，《欧洲期刊控制》59，47-57（2021；Zbl 1466.93117） 全文： 内政部 链接
尤素福·伊兹米利奥格鲁;埃代姆，埃斯拉 使用答案集编程对三维扩展对象之间的基本方向进行推理。 （英语） Zbl 1468.68224号 理论与实践。日志。程序。 20，第6期，942-957（2020）.MSC公司：68立方英尺 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Izmirlioglu}和\textit{E.Erdem}，理论与实践。日志。程序。20，第6号，942--957（2020；Zbl 1468.68224） 全文： 内政部 arXiv公司
波莫塞尼（Pourmohseni）、贝纳兹（Behnaz）;费多·斯米尔诺夫;斯特凡·威尔德曼;尤尔根·蒂奇 可预测和可组合多核系统的隔离软件时序分析和设计空间探索。 （英语） Zbl 07559346号 Sophie Quinton（编辑），第31届欧洲微型实时系统会议，ECRTS 2019，德国斯图加特，2019年7月9日至12日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。133，第12条，第24页（2019年）。MSC公司：68平方米 PDF格式BibTeX公司 XML格式引用 \textit{B.Pourmohseni}等人，LIPIcs——莱布尼茨国际程序。通知。133，第12条，第24页（2019；兹bl 07559346） 全文： 内政部 arXiv公司
窦丽倩;季春辉;张秀云;宗、群;刘文静 深空探测航天器小故障闭环主动故障检测。 （中文。英文摘要） Zbl 1449.94087号 控制理论应用。 36，第12号，2085-2092（2019）.MSC公司：94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.Dou}等人，控制理论应用。36，第12号，2085--2092（2019；Zbl 1449.94087）
克里斯托弗·弗兰克。;雷诺德·马利埃（Renaud A.Marlier）。;Pinon-Fischer，Olivia J。;迪米特里·马夫利斯。 演化多目标多建筑设计空间探索方法。 （英语） Zbl 1397.74160号 最佳方案。工程师。 19，第2期，359-381（2018）.MSC公司：第74页第10页 90C29型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{C.P.Frank}等人，Optim。工程19，编号2，359--381（2018；Zbl 1397.74160） 全文： 内政部
J.本扎肯。;A.J.赫雷玛。;徐，M.-C。;J.A.埃文斯。 一种快速有效的等几何设计空间探索框架，适用于结构力学。 （英语） Zbl 1439.65146号 计算。方法应用。机械。工程师。 316, 1215-1256 (2017).MSC公司：65N30型 65D07年 74S05号 74B05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Benzaken}等人，《计算》。方法应用。机械。工程3161215--1256（2017；Zbl 1439.65146） 全文： 内政部
马塞拉·祖卢亚加;安德烈亚斯·克劳斯;马库斯·普舍尔 \（epsilon）-PAL：多目标优化问题的主动学习方法。 （英语） Zbl 1375.90279号 J.马赫。学习。物件。 17，第104号论文，32页（2016）.MSC公司：90C29型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Zuluaga}等人，J.Mach。学习。第17号决议，第104号论文，32页（2016年；Zbl 1375.90279） 全文： 链接
Manoj G.迪克西特。;拉梅什，S。;帕拉布·达斯古普塔 时间预算：一种基于组件的实时嵌入式系统开发方法。 （英语） Zbl 1342.68042号 正式Asp。计算。 26，第3期，591-621（2014）.MSC公司：68平方米 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Dixit}等人，《形式语法》。计算。26，第3号，591--621（2014；Zbl 1342.68042） 全文： 内政部
鲍、范;严冬明;尼洛伊·米特拉。;旺卡，彼得 生成和探索良好的建筑布局。 （英语） Zbl 1305.68203号 ACM事务处理。图表。 32，第4号，第91号论文，10页（2013）.MSC公司：68单位05 65日第10天 PDF格式BibTeX公司 XML格式引用 \textit{F.Bao}等人，《美国医学杂志》。图表。32，第4号，第91号论文，10页（2013；Zbl 1305.68203） 全文： 内政部 链接
赫尔穆特·波特曼 建筑几何和制造感知设计。 （英语） Zbl 1298.00073号 Nexus Netw公司。J。 195-208年第2期第15期（2013年）.MSC公司：00A67号 PDF格式BibTeX公司 XML格式引用 \textit{H.波特曼}，Nexus Netw。J.15，No.2，195--208（2013；Zbl 1298.00073） 全文： 内政部
柯蒂斯，S.K。;马特森，C.A。;B.J.汉考克。;刘易斯，P.K。 动态多目标优化公式设计中的发散探索。 （英语） 兹比尔1274.74325 结构。多磁盘。最佳方案。 47，第5期，645-657（2013）.MSC公司：第74页第15页 90 C90 90C29型 PDF格式BibTeX公司 XML格式引用 \textit｛S.K.Curtis｝等人，结构。多磁盘。最佳方案。47，No.5，645--657（2013；Zbl 1274.74325） 全文： 内政部
库尔特·延森;Kristensen，Lars M。;托马斯·梅伦德 扫描线状态空间探测方法。 （英语） Zbl 1238.68085号 西奥。计算。科学。 429, 169-179 (2012).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Jensen}等人，Theor。计算。科学。429169--179（2012年；Zbl 1238.68085） 全文： 内政部
Kempf，T。;瓦伦托维茨，S。;G·阿斯基德。;勒珀斯，R。;Meyr，H。 软件定义无线电的分析和基于仿真的设计空间探索。 （英语） Zbl 1206.68037号 国际J并行程序。 38，编号3-4，303-321（2010）.MSC公司：68M10个 PDF格式BibTeX公司 XML格式引用 \textit{T.Kempf}等人，《国际并行程序》。38，编号3--4，303--321（2010；Zbl 1206.68037） 全文： 内政部
Bordoloi，Unmesh D。;查克拉博蒂，萨马尔吉特 基于GPU的系统级设计任务加速。 （英语） Zbl 1206.68062号 国际J并行程序。 38，编号3-4225-253（2010）.MSC公司：68平方米 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{U.D.Bordoloi}和\textit{S.Chakraborty}，国际J并行程序。38，编号3--4，225-253（2010；Zbl 1206.68062） 全文： 内政部
大卫·坎姆勒;张殿典;彼得·施瓦布;汉诺·沙瓦赫特;马库斯·兰根伯格;多米尼克·奥拉斯;格尔德·阿斯基德;鲁道夫·马塔尔 为Barreto-Naehrig曲线上的密码配对设计ASIP。 （英语） Zbl 1290.94101号 Clavier，Christophe（编辑）等人，《加密硬件和嵌入式系统–CHES 2009》。第十一届国际研讨会，瑞士洛桑，2009年9月6日至9日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04137-2/pbk）。计算机科学课堂讲稿5747254-271（2009）。MSC公司：94A60型 68第25页 14G50型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kammler}等人，Lect。注释计算。科学。5747254--271（2009年；Zbl 1290.94101） 全文： 内政部
史晓丽;张法坤 LS RISC微处理器的仿真研究。 （中文。英文摘要） Zbl 1181.68310号 J.计算。申请。 28，第10号，2690-2692（2008）.MSC公司：68平方英寸 PDF格式BibTeX公司 XML格式引用 \textit{X.Shi}和\textit{F.Zhang}，J.Compute。申请。28，第10号，2690--2692（2008；Zbl 1181.68310） 全文： 内政部
拉贾尼派;戈文达拉扬，R。 FEADS：用于探索网络处理器上的应用程序设计空间的框架。 （英语） Zbl 1112.68007号 国际J并行程序。 35，第1期，1-31页（2007年）.MSC公司：68M10个 68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Pai}和\textit{R.Govindarajan}，国际J.并行程序。35，第1号，1--31（2007；Zbl 1112.68007） 全文： 内政部
阿恩·哈曼;杰萨克、马雷克;凯·里希特;恩斯特·罗尔夫 异构嵌入式系统的模块化分析和探索框架。 （英语） Zbl 1103.68382号 实时系统。 33，编号1-3，101-137（2006）.MSC公司：64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{A.Hamann}等人，《实时系统》。33，编号1--3，101-137（2006；Zbl 1103.68382） 全文： 内政部
布鲁姆，H。;冯·西多，T。;诺尔·T·G。 确定性和随机Petri网在SoC通信领域的应用案例研究。 （英语） Zbl 1103.68650号 超大规模集成电路信号处理。系统。信号图像视频技术。 43，编号2-3，223-233（2006）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Blume}等人，J.VLSI信号处理。系统。信号图像视频技术。43，编号2--3，223--233（2006；Zbl 1103.68650） 全文： 内政部
亚尼克·勒穆莱克;Jean-Philippe Diguet;纳德·本·阿莫尔;蒂埃里·古尔德;Jean-Luc菲利普 使用Design Trotter实现嵌入式多媒体应用程序的算法级规范和特性描述。 （英语） Zbl 1138.68653号 超大规模集成电路信号处理。系统。信号图像视频技术。 第2期第42页，第185-208页（2006年）.MSC公司：68单位99 PDF格式BibTeX公司 XML格式引用 \textit{Y.Le Moullec}等人，J.VLSI信号处理。系统。信号图像视频技术。42，编号2185-208（2006年；兹bl 1138.68653） 全文： 内政部 链接
伯恩德·克莱因霍恩（编辑）;高广瑞（Gao，Guang R.）。（编辑）;赫尔曼·科佩兹（编辑）;丽莎·克莱因霍恩（编辑）;阿希姆·雷特伯格（编辑） 分布式嵌入式系统的设计方法和应用。 （英语） Zbl 1062.68028号 国际信息处理联合会150.马萨诸塞州波士顿：Kluwer学术出版社（ISBN 1-4020-8148-0/hbk）。xii，第326页。(2004).MSC公司：64岁以下 68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Kleinjohann}（ed.）等人，分布式嵌入式系统的设计方法和应用。马萨诸塞州波士顿：Kluwer学术出版社（2004；Zbl 1062.68028）
克里斯滕森，拉尔斯·迈克尔;托马斯·梅伦德 安全特性的广义扫线法。 （英语） Zbl 1064.68553号 Eriksson、Lars-Henrik（编辑）等人，《FME 2002：正式方法——正确使用IT》。欧洲正式方法国际研讨会，丹麦哥本哈根，2002年7月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43928-5）。莱克特。注释计算。科学。2391, 549-567 (2002).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Kristensen}和\textit{T.Mailund}，莱克特。注释计算。科学。2391549--567（2002年；Zbl 1064.68553） 全文： 链接
威廉·福纳西亚里;多纳泰拉·西乌托;克里斯蒂娜·西尔瓦诺;扎卡里亚，维托里奥 一种基于灵敏度的嵌入式系统设计空间探索方法。 （英语） Zbl 1035.68597号 设计。自动。嵌入。系统。7，第1-2、7-33号（2002年）。MSC公司：68单位99 68N99型 68M99型 PDF格式BibTeX公司 XML格式 全文： 内政部
克莱门斯·埃尔斯特;阿诺德·诺伊梅尔 按会议设计筛选。 （英语） Zbl 0830.62069号 生物特征 82，第3期，589-602（1995）.MSC公司：62K05美元 62K15型 62页第10页 PDF格式BibTeX公司 XML格式引用 \textit{C.Elster}和\textit{A.Neumaier}，Biometrika 82，No.3，589--602（1995；Zbl 0830.62069） 全文： 内政部 链接
艾伦·德罗切斯（Alan A.Desrochers）。（编辑） 用于太空探索的智能机器人系统。 （英语） Zbl 0748.70002号 Kluwer国际工程与计算机科学系列. 168. 马萨诸塞州波士顿等：Kluwer学术出版社。xxi，第345页（1992年）。 审核人：C.姆拉德诺娃（乌珀塔尔） MSC公司：70-06 70B15号机组 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Desrochers}（编辑），空间探索智能机器人系统。马萨诸塞州波士顿等：Kluwer学术出版社（1992；Zbl 0748.70002）