• TIMES

  • Referenced in 25 articles [sw01403]
  • systems TIMES is a modelling and schedulability analysis tool for embedded real-time systems, developed ... simulation, and an engine for schedulability analysis...
  • MARTE

  • Referenced in 21 articles [sw21826]
  • MARTE: Modeling and Analysis of Real-time and Embedded systems. This specification ... replace the existing UML Profile for Schedulability, Performance and Time (formal/03-09-01). MARTE consists in defining ... systems. MARTE concerns also model-based analysis. In this sense, the intent ... Especially, MARTE focuses on performance and schedulability analysis. But, it defines also a general framework...
  • Cellss

  • Referenced in 15 articles [sw08912]
  • CellSs and a newly implemented scheduling algorithm. An analysis of the results—both performance measures...
  • DSAT

  • Referenced in 5 articles [sw01463]
  • deployment scheduling analysis tool (DSAT...
  • PEARL

  • Referenced in 4 articles [sw02990]
  • systems, and by additional parameters for schedulability analysis. Graphical symbols are introduced for its constructs...
  • Oris

  • Referenced in 2 articles [sw07669]
  • preemptive Time Petri Nets, which enable schedulability analysis of real-time systems running under priority...
  • Camellia

  • Referenced in 77 articles [sw09731]
  • suitable for multiple platforms -- design and analysis. We present a new 128-bit block cipher ... which includes encryption and decryption and key schedule, occupies approximately 11K gates, which...
  • XVA-Sched

  • Referenced in 3 articles [sw17959]
  • Stochastic scheduling. Expectation-variance analysis of a schedule. Stochastic scheduling is in the area...
  • Keccak

  • Referenced in 66 articles [sw09834]
  • code description of Keccak. The reference specification, analysis, reference and optimized code and test vectors ... block cipher without a key schedule. The choice of operations is limited to bitwise...
  • VPM

  • Referenced in 11 articles [sw07364]
  • analysis purposes as foreseen, for instance, in submissions for the OMG RFP for Schedulability, Performance...
  • OptiRisk

  • Referenced in 8 articles [sw06238]
  • Specialists in Risk Analysis and Optimum Decision Making OptiRisk Systems is a UK-based company ... Management, Supply Chain Management, Strategic & Tactical Management, Scheduling of Transport Asset...
  • Program-Conflict-Analysis

  • Referenced in 4 articles [sw32219]
  • synchronization by monitors, and thread creation. The analysis is based on the observation that ... schedules. These restricted schedules are suited to constraint-system-based program analysis. The formalization...
  • Riscue

  • Referenced in 1 article [sw27548]
  • application areas are: Cost and Schedule Risks; Hazard analysis; Reliability analysis; Financial risks; Insurance; Total...
  • ScaffCC

  • Referenced in 9 articles [sw21654]
  • ScaffCC: Compilation, analysis and optimization framework for the Scaffold quantum programming language. ScaffCC ... compiler and scheduler for the Scaffold programing language. It is written using the LLVM open...
  • DIANE

  • Referenced in 13 articles [sw03181]
  • DIANE: Distributed Analysis Environment. DIANE is a tool which helps application communities and smaller Virtual ... infrastructures more efficiently. The automatic control and scheduling of computations on a set of distributed...
  • CORO

  • Referenced in 23 articles [sw02197]
  • multiperiod Supply, Transformation and Distribution (STD) scheduling problem under uncertainty on the product demand, spot ... results. We use a 2-stage scenario analysis based on a partial recourse approach, where...
  • CRYPTON

  • Referenced in 5 articles [sw23983]
  • scheduling. This paper presents the revised version of CRYPTON and its preliminary analysis...
  • KNIME

  • Referenced in 19 articles [sw06790]
  • user-friendly graphical workbench for the entire analysis process: data access, data transformation, initial investigation ... such as shared repositories, authentication, remote execution, scheduling, SOA integration and a web user interface...
  • InteGrade

  • Referenced in 7 articles [sw10214]
  • contributions cover the related fields of application scheduling, execution management, and fault tolerance. We present ... their implementation principles and evaluation through the analysis of several experimental results...
  • tweakey

  • Referenced in 22 articles [sw12816]
  • round). Increasing the sizes renders the security analysis very difficult and thus we identify ... advances on the topic of secure key schedule design...