2 projects for "time code" with 2 filters applied:

  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • Error to trace to log to deploy. One click. No SSH. Icon
    Error to trace to log to deploy. One click. No SSH.

    Catch the cause before the pager goes off.

    AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
    Free 30 days.
  • 1

    bemap

    BEnchMarks for Automatic Parallelizer

    BEMAP (BEnchMarks for Automatic Parallelizer) is a benchmark used to measure performance for an automatic parallelizer. All OpenCL code benchmarks covered in this project are done step-by-step along with hand-tunning. Each tuning step executional time are measured in details with a comprehensive user interface and help option. The exact implementation in native code (C++) is also provided in each project folder for reference. By using these benchmarks, one may analyze: 1. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    ESpin

    ESpin

    SPIN-based Eclipse Model Checking Plugin

    ESpin, a SPIN-based model checking plugin upon Eclipse. The editor has full support of the syntax rules of Promela, and also provides the function of real-time syntax feedback, keywords highlight, outline view, code folding, hinting and completion, greatly improving the modeling efficiency of complex models. Additionally, ESpin provides multiple operation mode and unique configuration interfaces, which simplifies the operation process of SPIN.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next