×

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

状态流

43篇文献引用(1989–2023)
软件作者: MathWorks公司。
相关软件: Simulink;Matlab;托勒密…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

StarPU公司

32篇文献引用(2012–2023)
软件作者: C.Augonnet、S.Thibault、R.Namyst、P.-A.Wacrenier
相关软件: CUDA;血浆;OpenCL…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

达克

4份文件引用(2019–2022)
软件作者: 马修·罗克林
相关软件: 蟒蛇;数字Py;科学…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

本地化程序

21篇文献引用(1999–2021)
软件作者: 劳伦特·米歇尔(Laurent Michel);帕斯卡·范·亨特利克
相关软件: 彗星;SALSA;EasyLocal++…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);通用拓扑(54-XX)…

MOCA公司

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

网格流

5份文件引用(2006–2011)
软件作者: 曹俊伟;贾维斯公司。;Saini,S。;格拉汉姆·R·努德。
相关软件: 飞马座;Globus工具包;DAGMan…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)

TGFF公司

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

GPUTera排序

9份文件引用(2008–2017)
软件作者: Naga Govindaraju;吉姆·格雷;Ritesh Kumar;迪内什·马诺查
相关软件: CUDA;开放式CL;GPU-ABiSort…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

DAGuE公司

在11份文件中引用(2011–2019)
软件作者: 乔治·博西尔卡(George Bosilca)、奥雷琳·布特伊勒(Aurelien Bouteiller)、安东尼·达纳利斯(Anthony Danalis)、托马斯·赫劳(Thomas Herault)、皮埃尔·勒马利尼尔(Pierre Lemarinier)、杰
相关软件: LAPACK;血浆;MAGMA…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…

Pi4U接口

10篇文献引用(2015–2023)
软件作者: Hadjidoukas,体育。;Angelikopoulos,P。;Papadimitriou,C。;库穆塔科斯,P。
相关软件: CMA-ES;ABC子模拟;TORC…
主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-XX)…

doRNG公司

4份文件引用(2017–2022)
软件作者: 雷诺·高茹(Renaud Gaujoux)
相关软件: foreach;R;do并行…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX)

重新计划

9份文件引用(2001–2008)
软件作者: 斯利瓦斯塔瓦,比普拉夫;Subbarao市Kombhampati;做,明B。
相关软件: 图形平面图;STAN;CPlan…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

TPVM公司

8份文件引用(1997年至2003年)
软件作者: 亚当·法拉利;V.S.桑德拉姆。
相关软件: MPI/MPICH;丝状物;帕拉德…
主要字段: 计算机科学(68-XX)

切达干酪

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

剑道

4份文件引用(2011–2018)
软件作者: Olszewski,M。;Ansel,J。;阿马拉辛格,S。
相关软件: ParaSCIP;CapoOne;MIPLIB2003…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

ScalaBLAST

4份文件引用(2008–2020)
软件作者: Oehmen,C。;贾勒克·尼普洛查
相关软件: 爆破;k-均值++;AS 136…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

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

国际象棋

5份文件引用(2008–2021)
软件作者: Musuvathi M、Qadeer S、Ball T
相关软件: 橡皮擦;veriSoft;AVIO…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

所有不同的

4份文件引用(2011–2022)
软件作者: 克里斯蒂安·贝西尔(Christian Bessiere)、尼娜·纳罗季斯卡(Nina Narodytska)、克劳德·盖·坎佩尔(Claude-Guy Quimper)、托比·沃尔什(Toby Walsh)
相关软件: 乔科;算法457;ptsplib…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

喷洒列表

5份文件引用(2017–2021)
软件作者: Dan Alistarh、Justin Kopinsky、Jerry Li、Nir Shavit
相关软件: CBPQ;数据集;Hillview…
主要字段: 计算机科学(68-XX)

最大值

3份文件引用(2014–2021)
软件作者: Jean-Guillaume Fages;Tanguy Lapègue
相关软件: ToulBar2;AllDifferent;Choco…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

DAG地图

3份文件引用(2012–2017)
软件作者: 曹海军;金海;吴晓欣;吴松;石、宣化
相关软件: Globus工具包;达格曼;网格模拟
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

FJSSP公司

4份文件引用(2008–2016)
软件作者: 邢丽宁;陈英武;杨克伟
相关软件:
主要字段: 运筹学、数学规划(90-XX)

HyCC公司

4份文件引用(2020–2023)
软件作者: Büscher,N.、Demmler,D.、Katzenbeisser,S.、Kretzmer,D.、Schneider,T。
相关软件: ABY;怀孢子虫;美味…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

PVA网

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

苜蓿

3份文件引用(1987–2010)
软件作者: B.戈德伯格、P.哈达克。
相关软件: 哈斯克尔;胶;链接…
主要字段: 计算机科学(68-XX)

芹菜

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

变色龙

1份文件引用(2019)
软件作者: 埃马纽埃尔·阿古洛;塞德里克·奥贡奈特;Jack Dongarra;勒泰夫(Ltaief)、哈泰姆(Hatem);雷蒙德·纳米斯特;塞缪尔·蒂鲍特(Samuel Thibault);斯坦尼米尔·托莫夫
相关软件: GitHub;ExaGeoStatR;ggplot2…
主要字段: 数值分析(65-XX)

EETT库

3份文件引用(2023)
软件作者: Bärmann,A。;Gemander,P。;Hager,L。;Nöth,F。;O.施耐德。
相关软件: TTP接口;蟒蛇;LinTim…
主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…

我的队列

在0个文档中引用
软件作者: Mortensen,J.、Gjerding,M.、Thygesen,K。
相关软件: AiiDA公司;FireWorks;Python…
主要字段:

对象数学

3份文件引用(1997–2014)
软件作者: 尼古拉斯·安德森;彼得·弗里茨森
相关软件: 奥莫拉;Mathematica;AUTOSAR…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…

桨叶FL

2份文件引用(2022–2023)
软件作者: 马艳军、于殿海、田武、王海峰
相关软件: 亚当;PRMLT;GitHub…
主要字段: 计算机科学(68-XX);量子理论(81-XX);运筹学、数学规划(90-XX)

PortLib(端口库)

3份文件引用(2020–2023)
软件作者: 萨克拉门托,大卫;克莉丝汀·索尔农;大卫·皮辛格
相关软件: ILOG时间表;赛马拉松
主要字段: 运筹学、数学规划(90-XX)

模拟事件

2份文件引用(2009–2019)
软件作者: 迈斯沃克
相关软件: Matlab;UMDES;Simulink…
主要字段: 运筹学、数学规划(90-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

超级胶水

3份文件引用(2015–2022)
软件作者: 马丁·蒂勒尼乌斯
相关软件: OmpSs;StarPU;Hadoop…
主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)

TASCEL公司

3份文件引用(2013–2022)
软件作者: 乔纳森·利夫兰德;斯里拉姆·克里希纳莫奥斯蒂(Sriram Krishnamoorthy);Laxmikant V.Kale公司
相关软件: 西尔克;FreeON;SpAMM…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

自动损失

2份文件引用(2022–2023)
软件作者: 徐浩文、张浩、胡志婷、梁晓丹、萨拉赫季诺夫、埃里克·星
相关软件: SoftAdapt;PINNsNTK;DeepXDE…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)

ExPSEE公司

2份文件引用(2000–2002)
软件作者:
相关软件:
主要字段: 计算机科学(68-XX)

LSTF公司

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

ptsplib公司

2份文件引用(2013–2014)
软件作者: Lapègue,T.、Fages,J.G.、Prot,D.、Bellenguez-Morineau,O
相关软件: 乔科;AllDifferent;算法457…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

国家环保总局

2份文件引用(2002–2003)
软件作者: 费尔南德斯,C。;托雷斯,F。;普恩特,S.T。
相关软件:
主要字段: 计算机科学(68-XX)

石板

2份文件引用(2018–2021)
软件作者: 马克·盖茨(Mark Gates)、雅库布·库扎克(Jakub Kurzak)、阿里·查拉拉(Ali Charara)、阿西姆·亚尔汗(Asim YarKhan)、杰克·东加拉(Jack Dongarra)
相关软件: LAPACK;林帕克;BLAS…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)

符号组

1份文件引用(2018)
软件作者: Mathias Jacquelin、Yili Zheng、Esmond Ng、Katherine Yelick
相关软件: 斯卡拉帕克;FLEUR;高斯…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX)

DRSCRO公司

1份文件引用(2015)
软件作者: 姜宇毅;邵志清;郭毅;张欢欢;牛、坤
相关软件: Hypertool(超级工具)
主要字段: 运筹学、数学规划(90-XX)

FEADS公司

1份文件引用(2007)
软件作者: 拉贾尼派;戈文达拉扬,R。
相关软件:
主要字段: 计算机科学(68-XX)

流动代理人

1份文件引用(2000)
软件作者: 王文军;钟、崔浩
相关软件:
主要字段: 计算机科学(68-XX)

芒果

在0个文档中引用
软件作者: Sandeep Singh Sandha、Mohit Aggarwal、Igor Fedorov、Mani Srivastava
相关软件: 自动学习;Hyperopt;XGBoost…
主要字段:

MMLIB检查器

1份文件引用(2017)
软件作者: 马丁·约瑟夫·盖革
相关软件: mmLib;npu调度程序
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

MOPP公司

1份文件引用(1989)
软件作者: Lázaro,M。;埃斯普尼亚,a。;普加纳,L。
相关软件:
主要字段: 运筹学、数学规划(90-XX)

纳米++

1份文件引用(2016)
软件作者:
相关软件: NAMD;游戏;量子浓缩咖啡…
主要字段: 数值分析(65-XX);量子理论(81-XX)

面条

1份文件引用(2018)
软件作者: Bhatti MK、Oz I、Popov K、Muddukrishna A、Brorsson M
相关软件: STG;Hyperpool公司;佩加索斯
主要字段: 计算机科学(68-XX)

P2PFaaS公司

在0个文档中引用
软件作者: 加布里埃尔·普罗埃蒂·马蒂亚(Gabriele Proietti Mattia)、罗伯托·贝拉尔迪(Roberto Beraldi)
相关软件: 去;FogNetSim++;XFogSim…
主要字段:

潘多

在0个文档中引用
软件作者: Schultz,M.B.、Gonçalves da Silva,A.、Kwong,J.、Seemann,T
相关软件: PERL;Nullarbor;ASA3P…
主要字段:

踏板

1份文件引用(2017)
软件作者: 胡,Y。;严,J。;周,K.-K.R。
相关软件: 私人LR
主要字段: 计算机科学(68-XX)

PoKiTT公司

1份文件引用(2016)
软件作者: 内森·扬基;詹姆斯·萨瑟兰。
相关软件: 坎特拉;内博;CU++…
主要字段: 数值分析(65-XX);计算机科学(68-XX);经典热力学,传热(80-XX)

急板地

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

PROSIT公司

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

SimK公司

在0个文档中引用
软件作者: 徐建伟;陈明玉;郑、桂;曹、郑;吕惠伟;孙宁辉
相关软件: HPPNetSim;查科
主要字段:

SkyPy(SkyPy)

在0个文档中引用
软件作者: Adam Amara、Lucia F.de la Bella、Simon Birrer、Sarah Bridle、Juan Pablo Cordero、Ginevra Favole、Ian Harrison、Ian W.Harry、William G.Hartley、Coleman Krawczyk、Andrew Lundgren、Brian Nord、Laura K.Nuttall、Richard P.Rollins、Philipp Sudek、Sut Ieng Tam、Nicolas Tessore、Arthur E.Tolley、Keiichi Umetsu、Andrew R.Williamson、Laura Wolz
相关软件: 卤素工具;GalSim公司;popsynth…
主要字段:

射击类游戏

1份文件引用(2018)
软件作者: 卡萨哈拉实验室。
相关软件: 面条;Hyperpool公司;佩加索斯
主要字段: 计算机科学(68-XX)

VizzScheduler(VizzScheduler)

1份文件引用(2001)
软件作者: “欠你,韦尔夫;利布里奇,亚历克斯
相关软件:
主要字段: 计算机科学(68-XX)

羊毛

1份文件引用(2016)
软件作者: 传真:K.-F。
相关软件: 英特尔TBB;FastFlow;SWARM…
主要字段: 数值分析(65-XX)

雅提斯

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

矮人代码

在0个文档中引用
软件作者: 张维哲;Albert M.K.Cheng。;贾斯帕尔·苏巴洛克
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件