This paper presents a novel flexible, dependable, and reliable operating system design for distributed reconfigurable system on chip. The dependability and reliability are achieved by integrating online model checking technique. Each OS service has different implementations which are further partitioned into small blocks. This operating system design allows the OS service to be adapted at runti...

Operating-systems are the core software component of many modern computer systems, ranging from small specialised embedded systems through to large distributed operating-systems. This paper presents RMoX: a highly concurrent CSPbased operating-system written in occam. The motivation for this stems from the overwhelming need for reliable, secure and scalable operating-systems. The majority of op...

in this paper smart operation of micro energy hub is presented. energy hub system consists of certain energy hubs and interconnectors that are coordinated by energy hub system operator. an energy hub contains several converters and storages to serve demanded services in most efficient manner from available energy carriers. in this paper, the flexibility of energy delivery point is enhanced u...

Fuel flexibility is a significant advantage of solid oxide fuel cells (SOFCs) and can be attributed to their high operating temperature. The eligibility of a combined heat and power (CHP) system has been investigated as a new power generation methode, in this study. Natural gas fueled SOFC power systems via methane steam reforming (MSR) yield electrical conversion efficiencies exceeding 50% and...

For a large class of scientific computing applications, the continuing growth in physical memory capacity cannot be expected to eliminate the need to perform I/O throughout their executions. For these out-of-core applications, the large and widening gap between processor performance and disk latency is a major concern. Current operating systems deliver poor performance when an application’s wor...

For a large class of scientific computing applications, the continuing growth in physical memory capacity cannot be expected to eliminate the need to perform I/O throughout their executions. For these out-of-core applications, the large and widening gap between processor performance and disk latency is a major concern. Current operating systems deliver poor performance when an application’s wor...

β-lactamases are bacterial enzymes that confer resistance to β-lactam antibiotics, such as penicillins and cephalosporins. There are four classes of β-lactamase enzymes, each with characteristic sequence and structure properties. Enzymes from class A are the most common and have been well characterized across the family; however, less is known about how physicochemical properties vary across th...