×

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

烟尘

32篇文献引用(2004–2023)
软件作者: 瓦列·雷(Valleée-Rai,R.)、加格农(Gagnon,e.)、亨德伦(Hendren,L.J.)、兰姆(Lam,P.)、波明维尔(Pominville,P.,Sundaresan,V.)。
相关软件: 达卡波;方面J;FlowDroid…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

旋风

30篇文献引用(2003–2022)
软件作者: 弗雷德里克·史密斯;Dan Grossman;格雷格·莫里塞特(Greg Morrisett);卢克·霍诺夫(Luke Hornof);吉姆·特雷弗
相关软件: 哈斯克尔;CCured公司;Coq…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

SUIF公司

15篇文献引用(1995–2011)
软件作者: 罗伯特·P·威尔逊;罗伯特·S·弗伦奇;克里斯托弗·威尔逊(Christopher S.Wilson);萨曼·阿马拉辛格(Saman P.Amarasinghe);詹妮弗·安德森(Jennifer M.Anderson);Steve W.K.Tjiang;廖世伟;周文曾;玛丽·W·霍尔;莫妮卡·S·林;汉尼斯
相关软件: CUDA;MiBench公司;ParaWise…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

有限责任公司

13份文件引用(2012–2022)
软件作者: 斯蒂芬·福克(Stephan Falke);弗洛里安·默兹(Florian Merz);卡斯滕·辛兹
相关软件: 不明飞行物;注册会计师检查;CBMC…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

薄片

10篇文献引用(2016–2022)
软件作者: Carter,M.、He,S.、Whitaker,J.、Rakamarić,Z.、Emmi,M。
相关软件: CBMC;z3;SeaHorn…
主要字段: 计算机科学(68-XX);系统论;对照(93-XX)

视频编码

8份文件引用(1998–2011)
软件作者: 道森·R·恩格尔
相关软件: DyC;旋风;MetaOCaml…
主要字段: 计算机科学(68-XX)

LusSy公司

3份文件引用(2007–2013)
软件作者: Moy,M.、Maraninchi,F.、Maillet-Contoz,L。
相关软件: 系统C;卡拉托斯;veriSoft…
主要字段: 计算机科学(68-XX)

玫瑰色

4份文件引用(2003–2010)
软件作者: 丹·昆兰
相关软件: 自杀;GAMS;AMPL…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

乔克(Joeq)

2份文件引用(2005)
软件作者: 约翰·威利
相关软件: 数据日志;CAESAR_SOLVE公司;莫德…
主要字段: 计算机科学(68-XX)

互方面

2份文件引用(2012–2021)
软件作者: 贾斯汀·塞斯特;迪克西特、科坦;黄小婉;格鲁苏,拉杜;克劳斯·哈维隆德;斯科特·斯莫尔卡(Scott A.Smolka)。;斯科特·斯托勒(Scott D.Stoller)。;埃雷兹·扎多克
相关软件: 方面J;LOLA;AspectWerkz…
主要字段: 计算机科学(68-XX)

洛林

1份文件引用(2015)
软件作者: LaPre,J.M.,Gonsiorowski,E.J.,Carothers,C.D。
相关软件: TLRW;劫持者
主要字段: 计算机科学(68-XX);量子理论(81-XX);系统论;控制(93-XX)…

运河

在0个文档中引用
软件作者: Chungha Sung、Brandon Paulsen、Chao Wang
相关软件: Crab-llvm;KLEE公司;SMACK…
主要字段:

DLVM(分布式虚拟机)

在0个文档中引用
软件作者: Richard Wei、Vikram Adve、Lane Schwartz
相关软件: 卤化物;PyTorch;NNVM…
主要字段:

GRIN公司

在0个文档中引用
软件作者: 波德洛维奇,佩特;赫鲁斯卡,Csaba;彭泽斯,安道尔
相关软件: 有限责任公司
主要字段: 计算机科学(68-XX)

OPTGEN公司

1份文件引用(2019)
软件作者: 布赫瓦尔德,S。
相关软件: CVC4;Boolector;StringFuzz…
主要字段: 计算机科学(68-XX)

PyLog软件

1份文件引用(2021)
软件作者: 黄思涛;吴坤;郑贤敏;王成岳;陈德铭;吴文美
相关软件: AutoSA;PYNQ;PyRTL…
主要字段: 计算机科学(68-XX)

libFIRM公司

在0个文档中引用
软件作者: 哥茨·林登梅尔
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件