摘要:
A computer-implemented method, system and computer program product are presented for managing an Effective-to-Real Address Table (ERAT) and a Translation Lookaside Buffer (TLB) during test verification in a simulated densely threaded Network On a Chip (NOC). The ERAT and TLB are stripped out of the computer simulation before executing a test program. When the test program experiences an inevitable ERAT-miss and/or TLB-miss, an interrupt handler walks a page table until the requisite page for re-populating the ERAT and TLB is located.
摘要:
Disclosed are methods, systems, and computer program products for performing an on-demand book balance to physical balance reconciliation process for liquid product. The method can include receiving an indication that a delivery of product is about to occur at a retail facility. Based on the received indication, and optionally while fuel is dispensed from one or more storage tanks, a first book balance to physical balance reconciliation can be initiated for one or more storage tanks at the retail facility prior to receiving a delivery of liquid product. Following completion of the first book to physical balance reconciliation, an amount of liquid product as indicated on a delivery document is delivered and then the system automatically performs a second book to physical reconciliation process to identify one or more discrepancies between the amount of liquid product in the storage tanks and a physical amount of liquid product actually delivered.
摘要:
A computer-implemented method, system and computer program product are presented for managing an Effective-to-Real Address Table (ERAT) and a Translation Lookaside Buffer (TLB) during test verification in a simulated densely threaded Network On a Chip (NOC). The ERAT and TLB are stripped out of the computer simulation before executing a test program. When the test program experiences an inevitable ERAT-miss and/or TLB-miss, an interrupt handler walks a page table until the requisite page for re-populating the ERAT and TLB is located.
摘要:
A tool for opening a sealed telephone cable splice box. The tool has a fulcrum adapted to bear against various points on the ends of the splice box. The tool also has a lever adapted to cooperate with the fulcrum and a sliding member that slides longitudinally along the lever and is adapted to bear against the box top. The top of the box is separated from the bottom and ends of the splice box by transferring force between sliding member and the fulcrum through the lever.
摘要:
Disclosed are methods, systems, and computer program products to prevent a delivery vehicle from making an unauthorized delivery of liquid product to a liquid product storage tank at a retail store facility. A retail system and/or a centralized inventory management system can monitor one or more tanks at the retail facility for liquid product delivery from the carrier. The retail system and/or the centralized inventory management system can automatically interrupt delivery of liquid product when the delivery vehicle begins to delivery the liquid product to an unauthorized tank.
摘要:
Disclosed are methods, systems, and computer program products for performing temperature standardization of the volume of a liquid product from a distributor to a consumer. Using a volume measurement device and a temperature measurement device located at a rack, a storage tank, and a dispenser, a gross volume and temperature of the liquid product at, respectively, the rack, the storage tank, and the dispenser can be measured. Volume data indicative of the gross volume and temperature data indicative of the temperature can be generated. A time-stamp system at each of the rack, the storage tank, and the dispenser allocates a time-stamp to each of the volume data and the temperature data so that a reconciliation process can use each of the time-stamps, the temperature data, and the volume data to reconcile gross to net volumes at a single point in time.