×

找到37个软件包(结果1-37)

MOCA公司

20篇文献引用(1994–2023)
软件作者: 吉拉德·科伦(Gilad Koren)、丹尼斯·沙沙(Dennis Shasha)
相关软件: ——
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)

MetaMorph变形

18篇文献引用(1999–2010)
软件作者: 马图拉纳,F。;沈伟(Shen,W.)。;D.H.诺里。
相关软件: Aglet;湿润+;发明人…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

TGFF公司

8份文件引用(2008–2019)
软件作者: Dick RP、Rhodes DL、Wolf W。
相关软件: Simulink;CPLEX;变色龙…
主要字段: 算子理论(47-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

切达干酪

5份文件引用(2009–2022)
软件作者: LISyC实验室
相关软件: Simulink;Uppaal;桅杆…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)

TAEMS公司

5份文件引用(2002–2007)
软件作者: 基思·戴克
相关软件: 脱咖啡因咖啡;AntNet;NuSMV公司
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

苏打水

1份文件引用(2014)
软件作者: 乔尔·沃尔夫;尼基尔·班萨尔(Nikhil Bansal);Kirsten Hildrum;苏杰·帕雷赫(Sujay Parekh);迪帕克·拉詹(Deepak Rajan);罗希特·瓦格尔;吴坤龙;丽莎·弗莱舍
相关软件: 电报CQ;布里特;霸王龙…
主要字段: 计算机科学(68-XX)

DESH公司

3份文件引用(2010–2022)
软件作者: 熊明;韩、宋;陈德吉;Lam,Kam-Yiu;冯、珊
相关软件: ——
主要字段: 计算机科学(68-XX)

利特姆斯

4份文件引用(2012–2021)
软件作者: Calandrino,J.M。;Leontyev,H。;区块A。;加州大学Devi。。。
相关软件: PESPLib;羽毛履带
主要字段: 计算机科学(68-XX)

PVA网

3份文件引用(2018年-2020年)
软件作者: Kye-Hyeon Kim、Sanghoon Hong、Byungseok Roh、Yeongjae Cheon、Minje Park
相关软件: 咖啡馆;ImageNet;AlexNet…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

Torsche公司

3份文件引用(2010–2012)
软件作者: 罗马·卡佩克;Zdeněk Hanzálek;PřemyslŠůcha;米查尔·索伊卡
相关软件: TrueTime;MaRTE操作系统;托勒密…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

维塔夫

2份文件引用(2013)
软件作者: 林胜伟、林胜伟,曾庆红,李政英,傅家俊
相关软件: 细胞;MARTE公司;英特尔TBB…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

BALTRAD公司

在0个文档中引用
软件作者: Michelson,D,Henja,A,Ernes,S,Haase,G,Koistinen,J,O ssiródka,K,Peltonen,T,Szewczykowski,M,Szturc
相关软件: wradlib;蟒蛇;Py-ART…
主要字段: ——

芹菜

在0个文档中引用
软件作者: ——
相关软件: 蟒蛇;ImageNet;Dask…
主要字段: ——

MaRTE操作系统

1份文件引用(2001)
软件作者: 里瓦斯,马里奥·阿尔迪亚;迈克尔·冈萨雷斯港
相关软件: TrueTime;托勒密;Torsche…
主要字段: 计算机科学(68-XX)

RTSIM系统

3份文件引用(2002–2016)
软件作者: 塞萨尔·巴托里尼;朱塞佩·利帕里
相关软件: SchedCAT;github;M-现金
主要字段: 计算机科学(68-XX)

龙息(DragonBreath)

2份文件引用(2004–2005)
软件作者: A.纳雷耶克。
相关软件: 彗星;本地化人员;CPLEX…
主要字段: 计算机科学(68-XX)

LSTF公司

2份文件引用(1997–2018)
软件作者: 程伯超;亚历山大·斯托延科(Alexander D.Stoyenko)。;托马斯·J·马洛。;桑乔伊·K·巴鲁阿。
相关软件: 禁忌搜索
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

M-现金

2份文件引用(2008–2009)
软件作者: 佩利佐尼,鲁道夫;马可·卡卡莫
相关软件: RTSIM系统
主要字段: 计算机科学(68-XX)

奥里斯

1份文件引用(2005)
软件作者: 贾科莫·布奇;劳拉·卡内瓦利;里迪,洛伦佐;恩里科·比卡里奥
相关软件: TINA;Uppaal;时间…
主要字段: 计算机科学(68-XX)

RCPCP公司

2份文件引用(2003年至2009年)
软件作者: 吴军;郭德伟;徐志文
相关软件: ——
主要字段: 计算机科学(68-XX)

细分(Tessellation)

1份文件引用(2019)
软件作者: J.A.Colmenares、G.Eads、S.Hofmeyr、S.Bird、M.Moretó、D.Chou、B.Gluzman、E.Roman、D.B.Bartolini、N.Mor等人
相关软件: 精密路径指示器;多维数据集浏览器;兄弟竞争…
主要字段: 计算机科学(68-XX)

阿达。CPU_时间

1份文件引用(2003)
软件作者: 哈维尔·米兰达;墨西哥冈萨雷斯港。
相关软件: 阿达95
主要字段: 计算机科学(68-XX)

孔特戈

1份文件引用(2017)
软件作者: 哈桑,莫诺瓦尔;Sibin Mohan;佩利佐尼,鲁道夫;Rakesh B.博巴。
相关软件: ——
主要字段: 计算机科学(68-XX)

堡垒

1份文件引用(2016)
软件作者: 孙友成;朱塞佩·利帕里
相关软件: github
主要字段: 计算机科学(68-XX)

哈特斯

1份文件引用(2002)
软件作者: 安吉洛夫,C.K。;伊万诺夫,I.E。;A.伯恩斯。
相关软件: ——
主要字段: 计算机科学(68-XX)

MMOpt公司

1份文件引用(2018)
软件作者: 哈迪亚·哈吉(Khadija Hadj)·塞勒姆(Salem);Yann Kieffer;圣埃芬·曼奇尼
相关软件: ——
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

皮科

在0个文档中引用
软件作者: 安朱尔·帕特尼;曾,斯坦利;凯里·塞茨(Kerry A.Seitz)。;约翰·D·欧文斯。
相关软件: VoxelPipe;有限责任公司
主要字段: ——

急板地

1份文件引用(2022)
软件作者: 塞纳帕蒂,德布拉塔;萨卡、阿纳布;钱丹·卡法
相关软件: iFogSim;CPLEX公司
主要字段: 计算机科学(68-XX)

PROSIT公司

1份文件引用(2022)
软件作者: 弗里亚斯,B.V。;Palopoli,L。;阿贝尼,L。;Fontanelli,D。
相关软件: ——
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

P流

1份文件引用(2021)
软件作者: 陈汉华;张帆;金海
相关软件: ——
主要字段: 计算机科学(68-XX)

实时分析

1份文件引用(2006)
软件作者: 马里奥·科特;阿尔伯斯,卡斯滕;弗兰克·斯隆卡
相关软件: 枫树
主要字段: 系统论;控制(93-XX)

TDBS公司

1份文件引用(2008)
软件作者: 阿尼斯·库布(Anis);安德烈·库尼亚;Alves,M'ario;爱德华多·托瓦尔
相关软件: I.P.P.公司。
主要字段: 计算机科学(68-XX)

时间4sys2imi

1份文件引用(2019)
软件作者: 安德烈,艾蒂安;杰雷,贾维尔;萨哈尔·姆希里
相关软件: 切达干酪;Uppaal;模仿者
主要字段: 计算机科学(68-XX)

雅提斯

1份文件引用(2019)
软件作者: Chandarli Y、Fauberteau F、Damien M、Midonnet S、Qamhieh M
相关软件: 舒姆-乌科斯
主要字段: 计算机科学(68-XX)

暗房

在0个文档中引用
软件作者: 詹姆斯·赫加蒂(James Hegarty);John Brunhaver;扎卡里·德维托;乔纳森·拉甘·凯利(Jonathan Ragan-Kelley);诺伊·科恩;史蒂文·贝尔(Steven Bell);阿特姆·瓦西利耶夫;马克·霍洛维茨(Mark Horowitz);帕特·汉拉罕
相关软件: ——
主要字段: ——

hsSim(高速模拟信号)

在0个文档中引用
软件作者: J.P.Craveiro、R.O.Silveira、J.Rufino
相关软件: ——
主要字段: ——

rt缪斯

在0个文档中引用
软件作者: 马蒂娜·马吉奥(Martina Maggio);尤里·莱利;恩里科·比尼
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件