摘要:
A split sparse directory for a distributed shared memory multiprocessor system with multiple nodes, each node including a plurality of processors, each processor having an associated cache. The split sparse directory is in a memory subsystem which includes a coherence controller, a temporary state buffer and an external directory. The split sparse directory stores information concerning the cache lines in the node, with the temporary state buffer holding state information about transient cache lines and the external directory holding state information about non-transient cache lines.
摘要:
A method of processing receipts, including: obtaining transaction data including a plurality of categories of information necessary to describe a purchasing transaction of a customer at a store location; obtaining image data representing a receipt corresponding to the purchasing transaction of the customer at the store location; obtaining an e-mail address of the customer; providing an option to print the receipt at the store location and an option to e-mail the receipt to the customer; obtaining a selection of at least one of the provided options; if the option to print is selected, initiating printing of the image at the store location; and if the option to e-mail is selected, sending an e-mail to the e-mail address of the customer, the e-mail including providing at least one of the image data and the transaction data.
摘要:
Apparatus and method for transaction-based abstraction process can, in an embodiment, include three main phases: first, selecting a set of transaction-processing finite state machines (FSMs) that determine transaction boundaries. Second, extracting the transaction-processing FSMs, composing them, and computing an abstracted FSM corresponding to the composed FSM after abstraction, step 115. Third, abstracting all signals in the design based on the computed abstract FSM.
摘要:
A method of processing receipts, including: obtaining transaction data including a plurality of categories of information necessary to describe a purchasing transaction of a customer at a store location; obtaining image data representing a receipt corresponding to the purchasing transaction of the customer at the store location; obtaining an e-mail address of the customer; providing an option to print the receipt at the store location and an option to e-mail the receipt to the customer; obtaining a selection of at least one of the provided options; if the option to print is selected, initiating printing of the image at the store location; and if the option to e-mail is selected, sending an e-mail to the e-mail address of the customer, the e-mail including providing at least one of the image data and the transaction data.
摘要:
Apparatus and method for transaction-based abstraction process can, in an embodiment, include three main phases: first, selecting a set of transaction-processing finite state machines (FSMs) that determine transaction boundaries. Second, extracting the transaction-processing FSMs, composing them, and computing an abstracted FSM corresponding to the composed FSM after abstraction, step 115. Third, abstracting all signals in the design based on the computed abstract FSM.