×

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

泥浆

在13份文件中引用(2015–2023)
软件作者: SLURM团队;Yoo AB、Jette MA、Grondona M
相关软件: 蟒蛇;太阳网格引擎;TensorFlow…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

Giac公司

17篇文献引用(2010–2024)
软件作者: B.巴黎
相关软件: GeoGebra;单一;Xcas…
主要字段: 交换代数(13-XX);代数几何(14-XX);几何(51-XX)…

DD验证

9份文件引用(2009–2019)
软件作者: Witkowski,T.、Blanc,N.、Kroening,D.、Weissenbacher,G
相关软件: SLAM;CBMC;卫星…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

波乔里

10篇文献引用(2013-2019)
软件作者: Tang,Y.、Chowdhury,R.A.、Kuszmaul,B.C.、Luk,C.K.、Leiserson,C.E。
相关软件: PATUS公司;GPU验证;Coq…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

甲板

2份文件引用(2009–2023)
软件作者: 江凌霄、加桑·米舍尔吉、苏振东、斯蒂芬·格隆杜
相关软件: CCFinder;CP-miner;Gplag…
主要字段: 计算机科学(68-XX)

KDE工具箱

5份文件引用(2008–2017)
软件作者: 亚历山大·伊勒
相关软件: LIBSVM;PRMLT;rflowcyt…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

继电器

6篇文献引用(2008–2021)
软件作者: Voung,J.W.,Jhala,R.,Lerner,S。
相关软件: 橡皮擦;洛克史密斯;RacerX…
主要字段: 计算机科学(68-XX)

AQuoSA公司

4份文件引用(2011–2014)
软件作者: ——
相关软件: TrueTime;乔托;PAPI…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

GILK公司

3份文件引用(2002–2012)
软件作者: 大卫·皮尔斯(David J.Pearce)。;Paul H.J.凯利。;托尼·菲尔德(Tony Field);乌利·哈德
相关软件: 瓦尔格林德;协和式飞机;伊比斯…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

XtreemFS公司

在0个文档中引用
软件作者: Hupfeld,F.、Cortes,T.、Kolbeck,B.、Stender,J.、Focht,E.、Hess,M.、Malo,J.,Marti,J.和Cesario,E
相关软件: CloudSim;发电机;BlobSeer…
主要字段: ——

AstraVer公司

2份文件引用(2021–2022)
软件作者: 格里戈里·沃尔科夫、米哈伊尔·曼德利金、丹尼斯·埃弗雷莫夫
相关软件: Coq;Why3;Dafny…
主要字段: 计算机科学(68-XX)

dproc公司

2份文件引用(2002–2003)
软件作者: Jancic,J。;波埃拉鲍尔,C。;施万,K。;Wolf,M。;北卡罗来纳州布莱特。
相关软件: XtremWeb;BOINC公司;Globus工具包…
主要字段: 计算机科学(68-XX)

FATKit公司

在0个文档中引用
软件作者: 彼得罗尼,N。;Walters,A。;弗雷泽,T。;西阿博。
相关软件: 法医学上;Sleuth Kit尸检;成员分析器
主要字段: ——

O配置文件

2份文件引用(2016–2018)
软件作者: J.莱文。
相关软件: 瓦尔格林德;ADIFR;AMPI…
主要字段: 计算机科学(68-XX);地球物理学(86-XX);运筹学、数学规划(90-XX)

PromethOS公司

2份文件引用(2002)
软件作者: 拉尔夫·凯勒;鲁夫、卢卡斯;Amir Guindhei;伯恩哈德·普拉特纳
相关软件: ——
主要字段: 计算机科学(68-XX)

SLOC计数

2份文件引用(2007–2015)
软件作者: D.A.惠勒
相关软件: Matlab;LSODE公司;J科学…
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX)

BzzMath公司

2份文件引用(2010–2014)
软件作者: 吉多·布齐·费拉里斯(Guido Buzzi-Ferraris)、弗拉维奥·马南蒂(Flavio Manenti)
相关软件: ——
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…

动态跟踪技术

1份文件引用(2009)
软件作者: dtrace.org网站
相关软件: 弹性搜索;NoDoze;AIQL…
主要字段: 计算机科学(68-XX)

第一个ST

1份文件引用(2010)
软件作者: 埃雷斯·扎多克(Erez Zadok);杰森·聂
相关软件: 地穴;IOzone;荷鲁斯
主要字段: 计算机科学(68-XX)

微微ql

在0个文档中引用
软件作者: 马里奥斯·弗拉古利斯
相关软件: SWILL;CScout;SQLite…
主要字段: ——

SOFI3D软件

2份文件引用(2021–2024)
软件作者: Bohlen,T。;De Nil,D。;Koehn,D。;Jetschny,S。
相关软件: SMIwiz;libEMM;L-BFGS…
主要字段: 数值分析(65-XX);计算机科学(68-XX);地球物理学(86-XX)

斯坦斯

在0个文档中引用
软件作者: 简·奥布德日拉克、吉·斯拉布、马雷克·特里克
相关软件: Klocwork;FindBugs;声纳编码
主要字段: ——

泰索牌手表

2份文件引用(2014–2020)
软件作者: Müller,T.,Freiling,F.C.,Dewald,A。
相关软件: 地窖看守人;TransCrypt;HyperCrypt…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

AESSE公司

1份文件引用(2020)
软件作者: Müller,T.、Dewald,A.、Freiling,F。
相关软件: TransCrypt;超级地穴;武装…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

BPFroid公司

在0个文档中引用
软件作者: 亚尼夫·阿格曼;丹尼·亨德勒
相关软件: AppTrace;夫人;ARTDroid…
主要字段: ——

ClabureDB公司

在0个文档中引用
软件作者: 杰里·拉比;斯特雷切克,简;马雷克·特里克
相关软件: ——
主要字段: 计算机科学(68-XX)

clBLAS公司

在0个文档中引用
软件作者: ——
相关软件: Snapdragon;clpeak;CUBLAS…
主要字段: ——

EAdroid机器人

1份文件引用(2014)
软件作者: 梁洪亮;董瑜;王斌;刘树昌
相关软件: ——
主要字段: 计算机科学(68-XX)

大地测量仪

1份文件引用(2019)
软件作者: Pointwise公司。
相关软件: 开放级联;宠物4py;Python…
主要字段: 数值分析(65-XX)

超级地穴

1份文件引用(2020)
软件作者: Götzfried,J.、Dörr,N.、Palutke,R.、Müller,T。
相关软件: TransCrypt;武装;Salsa20…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

ktsan公司

1份文件引用(2017)
软件作者: GitHub公司。
相关软件: 螺纹消毒剂;多种族;CDS检查器…
主要字段: 计算机科学(68-XX)

网猪

1份文件引用(2018)
软件作者: 阿诺特·恩格伦
相关软件: 葡萄;布洛格尔;GPS…
主要字段: 计算机科学(68-XX)

性能2

在0个文档中引用
软件作者: 伊朗南部
相关软件: ——
主要字段: ——

Pyronia公司

在0个文档中引用
软件作者: Marcela S Melara、David H Liu、Michael J Freedman
相关软件: 砂壳;普里夫曼;闭包库…
主要字段: ——

RamCrypt公司

1份文件引用(2020)
软件作者: Götzfried,J.、Müller,T.、Drescher,G.、Nürnberger,S.、Backes,M。
相关软件: TransCrypt;超级地穴;武装…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

RTXI公司

在0个文档中引用
软件作者: Lin R.J.、Bettencourt J.、White J.A.、Christini D.J.、Butera R.J。
相关软件: 魔法;MagicPy;Magpy…
主要字段: ——

萨卢斯

在0个文档中引用
软件作者: 尼尔斯·阿文兹(Niels Avonds)、拉乌尔·斯特拉克(Raoul Strackx)、彼得·阿格滕(Pieter Agten)、弗兰克·皮森斯(Frank Piessens)
相关软件: 砂壳;普里夫曼;闭包库…
主要字段: ——

SecVisor公司

在0个文档中引用
软件作者: Seshadri,A.,Luk,M.,Qu,N.,Perrig,A。
相关软件: CloudSec;ReVirt;RSYSLOG…
主要字段: 计算机科学(68-XX)

应力-ng

1份文件引用(2020)
软件作者: C·金。
相关软件: TransCrypt;超级地穴;武装…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

乌姆西姆

1份文件引用(2020)
软件作者: 维尔纳·阿尔梅斯伯格
相关软件: ASM;PeerSim公司;Coq…
主要字段: 计算机科学(68-XX)

欧洲银行业协会

在0个文档中引用
软件作者: 阿巴尔,伊阿古;布拉布兰德,克劳斯;安德烈·索夫斯基
相关软件: ——
主要字段: ——

恩迪切克

在0个文档中引用
软件作者: 科普,罗马;帕维尔·帕里泽克
相关软件: ——
主要字段: ——

gkmSVM

在0个文档中引用
软件作者: 马哈茂德·甘迪;莫特扎·穆罕默德·努里(Morteza Mohammad Noori);加雷格哈尼(Ghareghani),纳尔吉斯(Narges);李东元;列维·加拉韦(Levi A.Garraway)。;迈克尔·A·比尔。
相关软件: ——
主要字段: ——

nDPI公司

在0个文档中引用
软件作者: Deri,L.等人。;马蒂内利,M。;Bujlow,T。;A.卡迪利亚诺。
相关软件: ——
主要字段: ——

沙子工具包

在0个文档中引用
软件作者: csa公司
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件