Results 21 to 30 of about 2,678,292 (198)
The Impact of Body Checking on Youth Ice Hockey Injuries
Orthopaedic Journal of Sports Medicine, 2017 Background: Body checking is a common cause of youth ice hockey injuries. Consequently, USA Hockey raised the minimum age at which body checking is permitted from the Pee Wee level (11-12 years old) to the Bantam level (13-14 years old) in 2011.
David P. Trofa MD +5 more
doaj +1 more source
Self-checking monitor for NBTI due degradation [PDF]
, 2010 Performance degradation of integrated circuits due to aging effects, such as Negative Bias Temperature Instability (NBTI), is becoming of great concern for current and future CMOS technology.
C. Metra +12 more
core +1 more source
Improvements to the Implementation of Interpolant-Based Model Checking
, 2005 The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking~(BMC) and, more recently, in unbounded model checking (UMC). This paper addresses the
Marques-Silva, Joao
core +2 more sources
SISTEM PENGENDALIAN INTERNAL PENERIMAAN KAS (Studi Kasus Pada Cv Sekartika Jati Rencana)
Jurnal Akademi Akuntansi, 2020 The aim of this study was to assess the effectiveness of the internal cash control system conducted by CV Sekartika Jati Rencana. Internal control system is a procedure used by management as a monitoring tool that every policy has been carried out by all
Hilaatul Mila Kusnia +2 more
doaj +1 more source
Inovasi Pelayanan Pertanahan Pengecekan Sertifikat online
Perspektif: Jurnal Ilmu-ilmu Sosial, 2021 The development of science and technology in this era is increasingly rapid, it encourages the government to make changes and innovations to realize good governance, one of which is in terms of public services.
Rona Yunita Nugraheni +2 more
doaj +1 more source
Model Checking Algorithms for CTMDPs [PDF]
, 2011 Continuous Stochastic Logic (CSL) can be interpreted over continuoustime Markov decision processes (CTMDPs) to specify quantitative properties of stochastic systems that allow some external control.
Hermanns, Holger +13 more
core +1 more source
Interpolant Learning and Reuse in SAT-Based Model Checking [PDF]
, 2007 Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed significant performance gains and, as a consequence, a large number of commercial ...
Marques-Silva, Joao
core +1 more source
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
, 2009 Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structure during the translation. These limitations can be reduced by encoding word-
Cordeiro, Lucas +5 more
core +3 more sources
Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems [PDF]
, 2009 By algorithmic metatheorems for a model checking problem P over infinite-state systems we mean generic results that can be used to infer decidability (possibly complexity) of P not only over a specific class of infinite systems, but over a large family ...
Leonid Libkin +3 more
core +1 more source
Control-flow checking via regular expressions [PDF]
, 2001 The present paper explains a new approach to program control flow checking. The check has been inserted at source-code level using a signature methodology based on regular expressions.
Di Natale, Giorgio +9 more
core +1 more source