• SMART_

  • Referenced in 33 articles [sw04097]
  • study of stochastic and timing behavior, both sparse-storage and Kronecker numerical solution approaches ... available when the underlying process is a Markov chain. In addition, discrete-event simulation...
  • ObservabilityTest

  • Referenced in 20 articles [sw36921]
  • test local algebraic observability in polynomial time. The following questions are often encountered in system ... physical process, which variables can be, in theory, deduced from the input-output behavior ... solution to this problem in polynomial time. A bound for the necessary number of arithmetic...
  • Möbius

  • Referenced in 25 articles [sw04098]
  • software tool for modeling the behavior of complex systems. Although it was originally developed ... suited to the systems’ size and complexity. Time- and space-efficient discrete-event simulation ... solution, based on compact MDD-based Markov processes, are both supported...
  • HighSpec

  • Referenced in 1 article [sw09750]
  • modelling dynamic and real-time behaviors, OZTA is well suited for presenting complete and coherent ... requirement models for complex real-time systems. HighSpec supports editing, type-checking as well ... patterns to capture high level timing requirements and process behaviors and generate the TA part...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • modeled as a collection of non-deterministic processes with finite control structure and real-valued ... include real-time controllers and communication protocols in particular, those where timing aspects are critical ... visualization and recording of the possible dynamic behaviors of a system description, i.e. sequences...
  • Algorithm 880

  • Referenced in 13 articles [sw12764]
  • wide range of applications. At installation time, the user has the option of running ... verify the integrity of the installation process. On the algorithm developer’s side, however, more ... tests are usually performed to study algorithm behavior on a variety of problem settings...
  • IQC

  • Referenced in 8 articles [sw21941]
  • becomes an important stage in any engineering process. Performance analysis is often done by computer ... uncertain time delay), it is unlikely to explore all possible behaviors of the real system...
  • WebSPN

  • Referenced in 2 articles [sw14798]
  • discrete time approximation of the stochastic behavior of the marking process which results...
  • CINSim

  • Referenced in 3 articles [sw30208]
  • reconfiguration process can be observed to investigate the particular network behavior during this time interval...
  • PROC LTA

  • Referenced in 6 articles [sw36352]
  • Analysis: Transitions in Dating and Sexual Risk Behavior. The set of statistical methods available ... expanded, allowing for questions about change over time to be addressed in new, informative ways ... variables, for example, stage processes, over two or more times. The current article illustrates this ... change over time in adolescent and young adult dating and sexual risk behavior. Gender differences...
  • momentuHMM

  • Referenced in 9 articles [sw21676]
  • hidden Markov models of animal movement. Discrete-time hidden Markov models (HMMs) have become ... immensely popular tool for inferring latent animal behaviors from telemetry data. Here we introduce ... software. Features include: 1) data pre-processing and visualization; 2) user-specified probability distributions...
  • Java-MaC

  • Referenced in 11 articles [sw20000]
  • formal requirement specifications in run-time monitoring and checking is the salient aspect ... current heavyweight formal methods. In addition, analysis processes of the architecture including instrumentation ... separation between monitoring implementation-dependent low-level behaviors and checking high-level behaviors, which allows...
  • CANN

  • Referenced in 4 articles [sw41756]
  • data-driven modeling of the mechanical constitutive behavior of materials. CANNs are able to incorporate ... additional information (e.g., about microstructure or materials processing). CANNs can easily and efficiently be implemented ... data and training time to learn without human guidance the constitutive behavior also of complex...
  • APNN-Toolbox

  • Referenced in 11 articles [sw06976]
  • GreatSPN and a tool for the process chain formalism employed in the modeling of logistic ... continuous time Markov chains (CTMCs) and their transient or steady state behavior. A rich variety...
  • ATISBAT

  • Referenced in 5 articles [sw37300]
  • simulate the behavior of the random events within the system. The accelerated-time simulations obtained ... during the terminal’s design process (in order to optimize the baggage handling network...
  • TEXPLORE

  • Referenced in 9 articles [sw13721]
  • robust learning on robots in real-time. Robots have the potential to solve many problems ... where it is possible to hand-program behaviors for every situation that may be encountered ... paradigm for learning sequential decision making processes and could solve the problems of learning ... should continually select actions in real time. This book focuses on addressing all four...
  • KOJAK

  • Referenced in 4 articles [sw09129]
  • Openmp programs by visualizing the run-time behavior and calculating statistics over the performance data ... situations of inefficient behavior. These patterns are input for an analysis process that recognizes ... processes or threads. The hierarchical organization of each dimension enables the investigation of performance behavior ... mapped onto the corresponding fraction of execution time, allowing the convenient correlation of different behavior...
  • TTAnalyze

  • Referenced in 6 articles [sw18511]
  • manual process that is tedious and time-intensive. Unfortunately, the number of samples that need ... process. In this paper, we present TTAnalyze, a tool for dynamically analyzing the behavior...
  • AutoSyn

  • Referenced in 3 articles [sw02043]
  • require a detailed specification of the desired behaviors of a composite service beforehand and then ... design, which makes the composition process both complex and time-consuming. In this paper...
  • STAGS

  • Referenced in 10 articles [sw17042]
  • nonlinear solution strategies, and more comprehensive post-processing features such as a link with STAPL ... past 40 years. During this time particular emphasis has been placed on improvement ... problems such as the prediction of the behavior of axially compressed stiffened panels loaded...