积分充值
 首页
前端开发
AngularDartElectronFlutterHTML/CSSJavaScriptReactSvelteTypeScriptVue.js构建工具
后端开发
.NetC#C++C语言DenoffmpegGoIdrisJavaJuliaKotlinLeanMakefilenimNode.jsPascalPHPPythonRISC-VRubyRustSwiftUML其它语言区块链开发测试微服务敏捷开发架构设计汇编语言
数据库
Apache DorisApache HBaseCassandraClickHouseFirebirdGreenplumMongoDBMySQLPieCloudDBPostgreSQLRedisSQLSQLiteTiDBVitess数据库中间件数据库工具数据库设计
系统运维
AndroidDevOpshttpdJenkinsLinuxPrometheusTraefikZabbix存储网络与安全
云计算&大数据
Apache APISIXApache FlinkApache KarafApache KyuubiApache OzonedaprDockerHadoopHarborIstioKubernetesOpenShiftPandasrancherRocketMQServerlessService MeshVirtualBoxVMWare云原生CNCF机器学习边缘计算
综合其他
BlenderGIMPKiCadKritaWeblate产品与服务人工智能亿图数据可视化版本控制笔试面试
文库资料
前端
AngularAnt DesignBabelBootstrapChart.jsCSS3EchartsElectronHighchartsHTML/CSSHTML5JavaScriptJerryScriptJestReactSassTypeScriptVue前端工具小程序
后端
.NETApacheC/C++C#CMakeCrystalDartDenoDjangoDubboErlangFastifyFlaskGinGoGoFrameGuzzleIrisJavaJuliaLispLLVMLuaMatplotlibMicronautnimNode.jsPerlPHPPythonQtRPCRubyRustR语言ScalaShellVlangwasmYewZephirZig算法
移动端
AndroidAPP工具FlutterFramework7HarmonyHippyIoniciOSkotlinNativeObject-CPWAReactSwiftuni-appWeex
数据库
ApacheArangoDBCassandraClickHouseCouchDBCrateDBDB2DocumentDBDorisDragonflyDBEdgeDBetcdFirebirdGaussDBGraphGreenPlumHStreamDBHugeGraphimmudbIndexedDBInfluxDBIoTDBKey-ValueKitDBLevelDBM3DBMatrixOneMilvusMongoDBMySQLNavicatNebulaNewSQLNoSQLOceanBaseOpenTSDBOracleOrientDBPostgreSQLPrestoDBQuestDBRedisRocksDBSequoiaDBServerSkytableSQLSQLiteTiDBTiKVTimescaleDBYugabyteDB关系型数据库数据库数据库ORM数据库中间件数据库工具时序数据库
云计算&大数据
ActiveMQAerakiAgentAlluxioAntreaApacheApache APISIXAPISIXBFEBitBookKeeperChaosChoerodonCiliumCloudStackConsulDaprDataEaseDC/OSDockerDrillDruidElasticJobElasticSearchEnvoyErdaFlinkFluentGrafanaHadoopHarborHelmHudiInLongKafkaKnativeKongKubeCubeKubeEdgeKubeflowKubeOperatorKubernetesKubeSphereKubeVelaKumaKylinLibcloudLinkerdLonghornMeiliSearchMeshNacosNATSOKDOpenOpenEBSOpenKruiseOpenPitrixOpenSearchOpenStackOpenTracingOzonePaddlePaddlePolicyPulsarPyTorchRainbondRancherRediSearchScikit-learnServerlessShardingSphereShenYuSparkStormSupersetXuperChainZadig云原生CNCF人工智能区块链数据挖掘机器学习深度学习算法工程边缘计算
UI&美工&设计
BlenderKritaSketchUI设计
网络&系统&运维
AnsibleApacheAWKCeleryCephCI/CDCurveDevOpsGoCDHAProxyIstioJenkinsJumpServerLinuxMacNginxOpenRestyPrometheusServertraefikTrafficUnixWindowsZabbixZipkin安全防护系统内核网络运维监控
综合其它
文章资讯
 上传文档  发布文章  登录账户
IT文库
  • 综合
  • 文档
  • 文章

无数据

分类

全部后端开发(4)C++(3)综合其他(1)人工智能(1)Lean(1)

语言

全部英语(5)

格式

全部PDF文档 PDF(5)
 
本次搜索耗时 0.018 秒,为您找到相关结果约 5 个.
  • 全部
  • 后端开发
  • C++
  • 综合其他
  • 人工智能
  • Lean
  • 全部
  • 英语
  • 全部
  • PDF文档 PDF
  • 默认排序
  • 最新排序
  • 页数排序
  • 大小排序
  • 全部时间
  • 最近一天
  • 最近一周
  • 最近一个月
  • 最近三个月
  • 最近半年
  • 最近一年
  • pdf文档 Building Safe and Reliable Surgical Robotics with C++

    theft.Medical Device Use Case & C++ 21Our use case: A Class-C Medical Device Robotically Assisted Surgical Platform 22 Millions of Lines of C++ CodeReminder to a simple, but often overlooked, question
    0 码力 | 71 页 | 4.02 MB | 5 月前
    3
  • pdf文档 Robotics at Compile-Time: Optimizing Robotics Algorithms with C++'s Compile-Time Features

    • Past Clients: Open Robotics, Picknik, Verb Surgical, Magnopus, Formant, Amazon • Industries: Robotics Software, Solar Technologies, Surgical Robotics, General Robotics, TV & Film,Software in the correct timeReal-time software Classification Missed Deadlines Example Hard Program fault Surgical Robotics Firm Result is treated as worthless Robotic Assembly Line Soft Performance Degrades
    0 码力 | 45 页 | 20.73 MB | 5 月前
    3
  • pdf文档 Trends Artificial Intelligence

    China Telco 241 23 Reliance India Telco 216 24 ServiceNow USA Software / AI 214 25 Intuitive Surgical USA Health Tech 201 26 AT&T USA Telco 197 27 Siemens Germany Hardware / AI 194 28 Uber USA Internet Salesforce / T-Mobile / Samsung / China Mobile / Reliance / ServiceNow / Intuitive Surgical / Siemens / Uber / AMD / Intuit. In 1995, USA had 53% (16 of 30) of the most valuable tech companies
    0 码力 | 340 页 | 12.14 MB | 4 月前
    3
  • pdf文档 Code Generation from Unified Robot Description Format for Accelerated Robotics

    betested formemory allocations and real-time compatibility. Safety critical applications, such as surgical robots need to meet these requirements 。Allowsforhardware specific CPU optimizations to be enabled
    0 码力 | 93 页 | 9.29 MB | 5 月前
    3
  • pdf文档 Theorem Proving in Lean Release 3.23.0

    instantiates the relevant facts accordingly. 5.7 Using the Simplifier Whereas rewrite is designed as a surgical tool for manipulating a goal, the simplifier offers a more powerful form of automation. A number
    0 码力 | 173 页 | 777.93 KB | 1 年前
    3
共 5 条
  • 1
前往
页
相关搜索词
BuildingSafeandReliableSurgicalRoboticswithC++atCompileTimeOptimizingAlgorithmsFeaturesTrendsArtificialIntelligenceCodeGenerationfromUnifiedRobotDescriptionFormatforAcceleratedTheoremProvinginLeanRelease3.23
IT文库
关于我们 文库协议 联系我们 意见反馈 免责声明
本站文档数据由用户上传或本站整理自互联网,不以营利为目的,供所有人免费下载和学习使用。如侵犯您的权益,请联系我们进行删除。
IT文库 ©1024 - 2025 | 站点地图
Powered By MOREDOC AI v3.3.0-beta.70
  • 关注我们的公众号【刻舟求荐】,给您不一样的精彩
    关注我们的公众号【刻舟求荐】,给您不一样的精彩