• Giotto

  • Referenced in 16 articles [sw08971]
  • disabling tasks. Giotto specifies time-triggered sensor readings, task invocations, and mode switches independent ... host mappings, and task and communication schedules. The annotations are directives for the Giotto compiler...
  • TDBS

  • Referenced in 1 article [sw02822]
  • time division beacon scheduling mechanism for ZigBee cluster-tree wireless sensor networks Synchronization ... important issue for time-sensitive Wireless Sensor Networks (WSN) since it requires a mutual spatiotemporal ... synchronization mechanism based on Time Division Beacon Scheduling (TDBS) to build cluster-tree WSNs...
  • CQueue

  • Referenced in 0 articles [sw26063]
  • Therefore, large amounts of sensor data have to be ingested at the server side ... processes for (among others) predictive simulation and scheduling purposes usable. In this paper, we focus ... server-side (i.e., back-end) framework for sensor networks and (2) configurable simulation tool...
  • DCLA

  • Referenced in 1 article [sw02085]
  • literature that dynamically vary these schedules based on traffic load estimations. But it is still ... scheme for IEEE 802.15.4 beacon-enabled Wireless Sensor Networks (WSN) that employs a reinforcement learning...
  • SinkTrail

  • Referenced in 1 article [sw20848]
  • wireless sensor networks. In large-scale Wireless Sensor Networks (WSNs), leveraging data sinks’ mobility ... sink’s future locations cannot be scheduled in advance, we propose two energy-efficient proactive...
  • CGAL

  • Referenced in 320 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1721 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CSDP

  • Referenced in 189 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • KNITRO

  • Referenced in 161 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LEDA

  • Referenced in 247 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Mathematica

  • Referenced in 5559 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11158 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 7189 articles [sw00771]
  • R is a language and environment for statistical...
  • Sostools

  • Referenced in 253 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • TSPLIB

  • Referenced in 640 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • SCIP

  • Referenced in 413 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • PRISM

  • Referenced in 390 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • ML

  • Referenced in 491 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • Kronos

  • Referenced in 256 articles [sw01270]
  • KRONOS is a tool developed with the aim...