Abstract: An integrated circuit includes a plurality of processing stages each including processing logic 1014, a non-delayed signal-capture element 1016, a delayed signal-capture element 1018 and a comparator 1024. The non-delayed signal-capture element 1016 captures an output from the processing logic 1014 at a non-delayed capture time. At a later delayed capture time, the delayed signal-capture element 1018 also captures a value from the processing logic 1014. An error detection circuit 1026 and error correction circuit 1028 detect and correct random errors in the delayed value and supplies an error-checked delayed value to the comparator 1024. The comparator 1024 compares the error-checked delayed value and the non-delayed value and if they are not equal this indicates that the non-delayed value was captured too soon and should be replaced by the error-checked delayed value.

Abstract: The invention pertains to a method and system for verifying election results, in association with an election process and a particular election. One useful embodiment of the invention is directed to a method, wherein a plurality of voters are each authorized to cast a ballot by using a specified voting device of a voting system, wherein the specified device may have one of a number of states, and the process is under the supervision of an Election Authority (EA). The method includes the step of publishing a number of certificates, wherein each certificate corresponds to one of the specified device, and contains one or more public keys associate with its corresponding device and also contains an Election Configuration (EC) that indicates the expected state of its corresponding device during the election process.

Abstract: An integrated circuit includes a plurality of processing stages each including processing logic 2, a non-delayed latch 4, a delayed latch 8 and a comparator 6. The non-delayed latch 4 captures an output from the processing logic 2 at a non-delayed capture time. At a later delayed capture time, the delayed latch 8 also captures a value from the processing logic 2. The comparator 6 compares these values and if they are not equal this indicates that the non-delayed value was captured too soon and should be replaced by the delayed value. The non-delayed value is passed to the subsequent processing stage immediately following its capture and accordingly error recovery mechanisms are used to suppress the erroneous processing which has occurred by the subsequent processing stages, such as gating the clock and allowing the correct signal values to propagate through the subsequent processing logic before restarting the clock.

Abstract: A method and system for rendering three-dimensional graphics, including text, provide a compressed texture bitmap. The texture bitmap may represent multiple symbols, each comprised of multiple pixels. Each pixel in the texture bitmap may store information for more than one symbol, including compressed pixels corresponding to multiple distinct symbols. For example, the compressed texture bitmap may have n-bit pixels (e.g., 8-bit pixels) that each store m (e.g., four) n/m-bit (e.g., 2-bit) compressed values. The compressed texture bitmap may be configured for unpacking by a conventional pixel shader, such as a pixel shader that does not typically perform bitwise operations. The unpacking may include matching a fetched pixel to a value in a lookup table, such as a 32-bit value from a 256-color palette. The looked-up value can be separated into separate sub-values to facilitate processing by the pixel shader.

Abstract: A cutting tool including a housing provided with a compartment having an opening, a carrier disposed in the compartment and displaceable between extended and retracted positions, a spring for biasing the carrier in the retracted position, a mechanism for displacing the carrier in the extended position, a mechanism for releasably retaining the carrier in the extended position, and the carrier having a nesting surface for a blade whereby a blade nested thereon will project through the compartment opening when the carrier is in the extended position and will be disposed within such compartment when the carrier is in the retracted position.

Abstract: An apparatus for manipulating a medical device is formed of at least three coupled movable blades which are disposed about a reference circle to form an aperture whose size may be varied. The aperture capable of being sized to contain a medical device. Each blade is in communication with an actuation device which is capable of moving the blade to alter the size of the aperture. Each blade includes a single radial point which a) lies on the circumference of the reference circle prior to movement of the blade, and b) may be moved only along a radius of the reference circle on movement of the blade.

Abstract: Several encoders at a broadcast system encode the same audio content. Packets from the resulting streams are immediately decoded and compared against the packets of the original audio stream. The broadcast system dynamically selects the codec that performs the best for the audio in any given packet. The packet produced by the encoder of the best-performing codec devices is selected to be broadcasted/transmitted.

Abstract: A method of regulating electronic message traffic is proposed. The method comprises sending an electronic message as part of a thread, receiving a response to the message, and tabulating said response in a counter. A data processing system compares the counter to a threshold and, in response to the comparing step, designates the thread as off-topic.

Abstract: A method for detecting microprocessor hardware faults includes sending at least one input signal to a logic block within the microprocessor, collecting an output response to the input signal from the logic block, and determining whether the output response matches an expected output response of the logic block.

Abstract: A method, system, and computer program product for efficiently generating a substantially accurate list of available hotspots in geographic locations. A computer system configured with a hotspot location utility operates as a Provider. The Provider receives from a mobile device a hotspot operability/availability transmission (HOT), which includes an identification of a currently operating and available hotspot. The Provider concurrently receives a current GPS coordinate of the device transmitting the HOT. Then, the provider stores the HOT and associated GPS coordinate within a hotspot locator database. When the Provider later receives a request from a user searching for hotpots within a particular geographic location, the Provider determines which acceptable entries of the multiple entries are in geographic locations in proximity to the particular geographic location and then provides an output of the acceptable entries to the user.

Abstract: A state matcher for a logic circuit may detect at least one of a buggy state of the logic circuit, a precursor to a buggy state of the logic circuit and a verified state of the logic circuit based on a plurality of signal values indicative of a state of the logic circuit. A recovery controller for a microprocessor may reconfigure the microprocessor to a trusted feature mode in response to receiving a signal indicating that the microprocessor is in a predefined state and operate the microprocessor in the trusted feature mode for a predetermined period of time.

Abstract: A stent loading system comprises a contracting aperture device having blades defining a contracting aperture and a fluid supply source. The blades are movable so as to vary the size of the contracting aperture. A stream of fluid is supplied by a fluid supply source and enters the contracting aperture and travels longitudinally through the contracting aperture. The stream of fluid is arranged to transport a stent from the contracting aperture contracting aperture and outside the contracting aperture device.

Abstract: A mechanism for enabling efficient encryption and integrity validation of network files. When a request to read a file stored in a local network file system is received, the local network file system examines cryptographic attributes associated with the file to determine if the file is encrypted or integrity-verified. If the cryptographic attributes indicate the file is encrypted, the local network file system omits the encryption of the file by the local network file system prior to passing the file to the remote network file system. If the cryptographic attributes indicate the file is integrity-verified, the local network file system omits the integrity-verification of the file by the local network file system prior to passing the file to the remote network file system. The local network file system then transmits the file to the remote network file system.

Abstract: An improved method, apparatus, and computer instructions in a portable device for obtaining bids for a task. Access to a task in a set of tasks for bidding is provided through a wireless network. The access to the task includes a specification of a selected distance between a bidding entity and a location of the portable device that the bidding entity is required to be located within for generating bids. A bid for the task is received from an entity through the wireless network if the entity is within a selected distance of a location of the portable device. The bid may be accepted for completing the task.

Abstract: A method, system, and program for user controlled anonymity when evaluating into a role are provided. An anonymous authentication controller enables a user to control anonymity of the user's identity for role based network accesses to resources, without requiring reliance on any single third party to maintain user anonymity. First, a role authentication certificate is received from a role authenticator, wherein the role authentication certificate certifies that the holder of the role authentication certificate is a member of a particular role without allowing the role authenticator issuing the role authentication certificate the ability to track an identity of a user holding the role authentication certificate.

Abstract: A method, system, and program for user controlled anonymity when evaluating into a role are provided. An anonymous authentication controller enables a user to control anonymity of the user's identity for role based network accesses to resources, without requiring reliance on any single third party to maintain user anonymity. First, a role authentication certificate is received from a role authenticator, wherein the role authentication certificate certifies that the holder of the role authentication certificate is a member of a particular role without allowing the role authenticator issuing the role authentication certificate the ability to track an identity of a user holding the role authentication certificate.

Abstract: A WIFI-enabled and GPS-enabled user device executes a hotspot location utility, which enables the device to detect WIFI hotspots and update a locally-stored hotspot location database (LHLD) containing geographically-mapped hotspots. When a hotspot is detected, the device accesses the hotspot, retrieves identification information and usage terms from the hotspot, and measures performance metrics of the hotspot. The utility stores the identified hotspot with the current GPS coordinate as an entry within the LHLD. When a user later desires to locate hotspots within a particular geographic location, the user enters the physical address of the location, and hotspots with matching (or proximate) GPS coordinates of the entered address are presented to the user. The user may specify certain preferences for usage terms, performance metrics, and location criteria, and the utility filters all geographic hits and returns only hotspots in the geographic location that also satisfy these preferences.

Abstract: An improved method, apparatus, and computer instructions in a portable device for obtaining bids for a task. Access to a task in a set of tasks for bidding is provided through a wireless network. The access to the task includes a specification of a selected distance between a bidding entity and a location of the portable device that the bidding entity is required to be located within for generating bids. A bid for the task is received from an entity through the wireless network if the entity is within a selected distance of a location of the portable device. The bid may be accepted for completing the task.

Abstract: An improved electronic whiteboard is provided. The improved electronic whiteboard includes a plurality of toggle switches along a vertical side for drawing vertical straight lines across the electronic whiteboard and a plurality of toggle switches along a horizontal side for drawing horizontal straight lines across the electronic whiteboard. When some or all the switches along the vertical side are turned on, vertical straight lines are drawn across the electronic whiteboard. Likewise, when some or all the switches along the horizontal side are turned on, horizontal straight lines are drawn across the electronic whiteboard. The intersections of the vertical straight lines with the horizontal straight lines form a plurality of grid cells. The electronic whiteboard contains means for determining the location of these cells.

Abstract: An apparatus, system and method of importing data arranged in a table on an electronic whiteboard into a spreadsheet displayed in a computer system are provided. Generally, the spreadsheet and the table each include a plurality of grid cells. To determine where in the spreadsheet to display the data in the table, the location of the cursor in the spreadsheet is first established. This grid cell is used as a reference point. That is, data in the left-most/top-most grid cell on the table is displayed in the grid cell of the spreadsheet in which the cursor is located.