Checkpointing for Multithreaded Programs 0.7

相关软件

• PyLogo 免费

  徽标编程语言的翻译。 以 Python 编写，可以访问 Python 运行时和库。

• Interactive BDD Environment 免费

  IBEN 是交互式 BDD 环境。它允许您声明、操作和可视化缩减的有序二进制决策图 （ROBD）。它被设计为一个学习工具，虽然它是有用的，每当你需要操作BDD互动和

• The babbleback machine 免费

  软件的实现 " 由温温格发明的唠叨机器" 录制来自麦克风的声音，并在短暂延迟后播放声音。 一个有趣的和教育玩具为幼儿（甚至婴儿）。

• 1861 June ACW Gazette Extra 免费

  1861年6月额外!!!美国内战公报额外!!!《美国内战公报》包含背面问题以及未出现在每日版的其他文章。除了这个程序，你需要自由美国内战公报应用程序。安装后，打开美国内战公报应用程序，从文章列表只需浏览到该日期和 150 周年之后的任何日期 1861 #39 年 5 月。1861 年 5 月版的亮点：- 西弗吉尼亚州从弗吉尼亚分裂， 被接纳为联邦- 阿基亚溪继续攻击- 在弗吉尼亚州费尔法克斯法院之家的突袭- 弗吉尼

• XLogo 免费

  XLogo - 专为 Mac OS X 构建的 LOGO 学习和绘图应用程序

• Zakir Naik Podcast 免费

  听扎基尔奈克的讲座。Zakir Naik博士是一名接受专业培训的医生，是著名的伊斯兰和比较宗教的充满活力的国际演说家。奈克澄清了伊斯兰的观点，澄清了对伊斯兰教的误解，结合理性、逻辑和科学事实，以《古兰经》、正宗的哈迪斯和其他宗教圣经为基础。扎基尔·奈克博士经常出现在许多国际电视电视，包括和平电视台。频道已全球100多个国家。他经常被邀请参加电视采访和电台采访。他的一百多场谈话、对话、辩论和座谈会都可在录像带、录像带和录音带上播放。重要创建应用程序

• Tarrant County College Mobile 免费

  塔兰特县学院 （TCC） 移动应用程序允许学生访问注册信息以及课程和课程列表、学术日历、图书馆数据库、职业教练和 myTCC 门户。

• Render input formats as SVG trees 免费

  x2svg 是将 XML 架构、DTD 和 Java 属性文件等文件以图形方式布局为可扩展矢量图形 （SVG） 的软件。图表可以直接从 x2svg 内部转换为 PDF、PNG、TIF 和 EPS 文件。存在一个简单的 GUI 和蚂蚁集成。

• go2Sim 免费

  go2Sim 测量用基因本体学术语注释的基因之间的语义相似性。支持 Resnik 和 Wang 方法。目前正在开发新的方法改进，一旦结果公布，将随时可用。

• Diabetic Audio Recipes Lite 免费

  每周定期发布新食谱。看看这些伟大的美味容易食谱从我们的应用程序!!!我们美味的糖尿病食谱为您的每日菜单或任何晚宴提供精选的流行食谱。它包括一系列简单，健康，低糖/无糖，低脂肪食谱开胃菜，面包，松饼，烤饼，甜点，调味品，配菜和主菜。本系列的所有食谱都有每个服务列出的营养信息。它可以帮助你遵循你的糖尿病膳食计划。现在使用速度控制播放音频配方。阅读食谱时收听音频，在菜单中选择速度以改变速度：正常、慢或快。并调整音量向上和向下，随时更改音量