注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. Armada:Armada是用于编写和证明正确的高性能并发程序的工具-源码

  2. 概述 安全编写高性能并发程序非常困难。为了帮助开发人员，我们引入了Armada，这是一种语言和工具，旨在以相对较少的努力来正式验证此类程序。通过编译为C子集ClightTSO的类C语言和基于状态机的小步骤语义，Armada为开发人员提供了选择任意内存布局和同步原语的灵活性，因此它们在性能追求方面从未受到限制。为了减少开发人员的工作量，Armada利用SMT驱动的自动化技术和强大的推理技术库，包括依赖保证，TSO消除，归约和别名分析。所有这些技术均已被证明是可靠的，随着时间的推移，可以通过其他策略

  3. 所属分类：其它

  1. anfibrief:法尔沙夫信息学院-源码

  2. FSI图宾根 生成文件 Dieses Repo可以根据Konsole用户指南生成摘要文件。 Mit make help EerhältmaneÜbersichtder Targets（Befehle）。 在德葱sollte jedoch make皮草一个吧reichen（MIT make info卡恩人prüfen，OB DAS雅尔UND学期stimmt）。 使自动生成的摘要在学期开始时生成，并在Ordner中生成pdf 。 Voraussetzungen 在Mac上Linux系统中。 对不

  3. 所属分类：其它

    • 发布日期：2021-03-08
    • 文件大小：491kb
    • 提供者：weixin_42168555

  1. 药物-源码

  2. 免费健康适合所有人 伊本-新浪团队成员 伊沙克·阿拉特姆（Ishaq Alathamneh） 阿雅·阿扎姆（Aya Azzam） 穆罕默德·莫马尼（Mohammad Momani） 阿拉·哈姆丹（Alaa Hamdan） 内姆·穆萨梅（Naeem Musameh） 描述： 我们的项目围绕帮助无力负担药物费用的患者提供帮助，因为那里有许多昂贵的药物，并且有可能通过我们的页面向全世界提供帮助，他们可以捐出一定数量来购买药物或捐赠药物本身。 用户故事 作为用户，我想查看网站的名称以及网站目标

  3. 所属分类：其它

  1. 沙雅-源码

  2. ngx-express-typescr ipt-starter Angular 8和Node Express Typescr ipt入门套件 使用typescr ipt类格式将后端js文件转换为ts文件，并重新设计了Express路由及其api调用。 1.使用的主要开发工具 Angular 8 Angular CLI 8 Node Express Typescr ipt ES6 Babel 7 2.克隆项目 因为这还不支持shell脚本。 因此，只会在您的node_modules上结束 不要执

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：198kb
    • 提供者：weixin_42128270

  1. dataSekolahNegeri印度尼西亚-源码

  2. 数据Sekolah Negeri Indonesia APi Dibuat menggunakan： 用于快速，不受限制的极简网络框架。 Semua数据saya ambil dari数据referensi pendidikan 状态：进展中 德库门塔西 基本网址： : 数据yang sudah ada saat ini： 标清 普罗文西 Kecamatan atau Kabupaten 雅加达 Kepulauan Seribu 雅加达 西兰达克 雅加达 雅加喀沙 雅加达 Kebayor

  3. 所属分类：其它

  1. WildWorld：LÖVELUA中的沙盒自由式多人游戏引擎-源码

  2. 野生世界 用编写的自由式/多人游戏/沙盒/实验游戏 受素描故事，魔兽世界，我的世界，星露谷，不要挨饿，狂神王国，雅达利2600游戏和 现状：早期发展。 第2代（从gen1重写）。 控制项编辑：F11 prev/next editor item: lp- kp+ place editor item: rmb 搬家 安装/拆卸/交互：空间 比例尺--= 产品特点2D多人世界 游戏内编辑器 具有门户的多个级别 骑术工具类 链接 开发人员 支持

  3. 所属分类：其它

    • 发布日期：2021-02-03
    • 文件大小：10mb
    • 提供者：weixin_42165583

  1. koleksi-源代码-php-jquery：koleksi-源代码-php-jquery-源码

  2. koleksi-源代码-php-jquery koleksi-源代码-php-jquery 阿里普贾加阿达迪： berisi berbagai karyaku，dan juga berbagai源代码php jquery untuk belajar。 silahkan bisa unduh dan叉ya ... bila ingin memberikan donasi，比沙·尤加（bisa juga）。 汉雅100rb。 南蒂·阿坎·曼达帕特坎DVD，杨阿坎·赛亚·基里姆坎。 信

  3. 所属分类：其它

    • 发布日期：2021-02-02
    • 文件大小：649mb
    • 提供者：weixin_42172572

  1. Determination-of-Motor-thrust-源码

  2. 简介（第0回合） 纪律 工程 实验室 无人机 实验 1.确定电机推力 关于实验： 关于实验室（目标）： 该模拟的主要目的是使用不同的螺旋桨测量电动机的推力。 关于实验： 目标听众 ： 大学本科 机械工程/航空工程学士/学士 研究生 机电一体化领域的M.Tech/MS 课程调整： 开发人员详细信息 开发商名称 Pruthviraj U博士 研究所 国立技术大学卡纳塔克邦，素叻 电子邮件ID 部门 水资源与海洋工程 导师详细信息 指导者 （仅限教授（不带Prof / Mr / MRS前缀）-

  3. 所属分类：其它

  1. Multi_Robot_Path_Finding_AIFA_Q-1-源码

  2. Multi_Robot_Path_Finding_AIFA_Q-1 通过为起点和终点输入输入，并以障碍物作为机器人无法访问的点，来编码问题。 我们假设工作室为矩阵，坐标表示所需的位置。 单元处于正常状态的机械手的路径，该单元中只能存在一个机器人。 我们开发了一种算法，可以在尽可能短的时间内完成任务。 输入格式 使用输入格式文件进行输入，并填写机器人的停靠点。 障碍物应以给定格式包括在内。 注意：请勿更改障碍物输入的数据格式。 团队详情 雅利安·萨克森（Aryan Saxena）-18HS

  3. 所属分类：其它

    • 发布日期：2021-03-31
    • 文件大小：83kb
    • 提供者：weixin_42097533