Learn More
Virtualization has been receiving increasing attention in embedded real-time systems. However, real-time systems, whose correctness depends on timing requirements, are not easily applicable to virtualization since virtualization mainly focuses on functional correctness. A hierarchical scheduling framework (HSF) provides a method of composing the complex(More)
Despite the growing need for customized operating system kernels for embedded devices, kernel development continues to suffer from high development and testing costs for several reasons, including the high complexity of the kernel code, the infeasibility of unit testing, exponential numbers of concurrent behaviors, and a lack of proper tool support. To(More)
Boolean networks have been widely used to model biological processes lacking detailed kinetic information. Despite their simplicity, Boolean network dynamics can still capture some important features of biological systems such as stable cell phenotypes represented by steady states. For small models, steady states can be determined through exhaustive(More)
Cell cycle process of budding yeast (Saccharomyces cerevisiae) consists of four phases: G1, S, G2 and M. Initiated by stimulation of the G1 phase, cell cycle returns to the G1 stationary phase through a sequence of the S, G2 and M phases. During the cell cycle, a cell verifies whether necessary conditions are satisfied at the end of each phase (i.e.,(More)
In order to obtain precise kinematic global positioning systems (GPS) in medium to large scale networks, the atmospheric effects from tropospheric and ionospheric delays need to be properly modeled and estimated. It is also preferable to use multiple reference stations to improve the reliability of the solutions. In this study, GPS kinematic positioning(More)
To obtain kinematic accelerations with high accuracy and reliability, multiple Global Positioning System (GPS) receivers with a single antenna can be used for airborne gravimetry. The data collected from each receiver can be processed for kinematic accelerations that may be combined using simple averaging. Here, however, uncorrelated errors from instrument(More)
Rhabdoid meningioma (RM) is a relatively new, rare, and aggressive subtype of meningioma, classified as Grade III malignancy in 2000, 2007 versions of WHO classification of the central nervous system. We reviewed the data available from all published cases of RMs. To the best of our knowledge, there are more than 100 published cases of RMs; none have(More)
  • 1