Abstract: Methods and apparatus are provided for decoding codes that can be described using bipartite graphs having interconnected bit nodes and check nodes. A magnitude of a check-to-bit node message from check node j to bit node i is computed based on a sum of transformed magnitudes of bit-to-check node messages for a plurality of bit nodes connected to the check node j, less a transformed magnitude of the bit-to-check node message for bit node i and check node j. A sign of the check-to-bit node message from check node j to bit node i can also be computed by multiplying a product Sj of the sign of bit-to-check node messages among a plurality of bit nodes connected to the check node j by the sign of the bit-to-check node message for bit node i and check node j. A decoder architecture is also disclosed for decoding a code that can be described using a bipartite graph having interconnected bit nodes and check nodes. The disclosed decoder can be concatenated with a soft output detector.

Abstract: The invention concerns a method of processing a request for obtaining multimedia digital data, said request having a number of descriptors characterizing it, characterized in that said method has the following steps: analysis of the descriptors characterizing the request being processed; comparison of the result of the analysis with the descriptors of other requests processed earlier; according to the result of the comparison, a decision as regards knowing whether the request being processed is: identical to a request processed earlier, in the sense that the two requests have the same request descriptors; similar to a request processed earlier, in the sense that the two requests have at least one request descriptor in common; new compared with the requests processed earlier.

Abstract: Preloading of web pages is described. In an implementation, an apparatus comprises a processor and storage. The storage includes program instructions that are executable by the processor to load a first web page in response to a selection by an operator and identify a link in the first web page pointing to a second web page. The program instructions are further executable to automatically preload the second web page based on the identified link, the second web page preloaded for later presentation.

Abstract: A data cell included in a document supporting cell structured data is conditionally formatted according to data that is stored in a separate location from the document. A user is allowed to select from a drop-down menu of related data sets a particular data set for conditionally formatting the data cell. The data cell is formatted according to the data set and the condition without requiring that the data set be stored locally in the document.

Abstract: Disclosed is a method (900) for communicating at least part of a structure of a document (104) described by a hierarchical representation (102). The method identifies (902) the hierarchical representation (eg. the tree structure) of the document (104). The identification is preferably performed using XML tags. The representation is then packetized (906) into a plurality of data packets. At least one link is then created (908) between a pair of the packets, the link acting to represent an interconnection between corresponding components (eg. structure and content) of the representation. The packets are then formed (910) into a stream for communication. The links maintain the hierachical representation within the packets.

Abstract: A View Template allows a template author to create an attractive HTML view template, and flow an arbitrary HTML content document into a series of containers defined in the view template. A content document author creates a standard HTML markup language document that can be displayed in a browser in the bottom-less page model. A view template author designs an HTML view template document that changes how that content document is displayed in the browser or printed. The HTML content document is “flowed” into areas defined by the HTML view template document. The HTML view template document describes where to flow the HTML content document onto the display or printer. There is an object model (OM) that supports the series of containers holding the content document. Each container in the series has a layout that defines the size, location, and ordering for the content document to flow through while in that container. The order of containers that the content document flows through is kept in a view chain.

Abstract: A spell checking method presents a selectable list of similarly spelled words, when a misspelled word is selected by the user who wishes to find the correct spelling. One feature determines the “content” or “topic” of a document. Based on the content, the spell checker presents likely replacement words for a misspelled word. In another feature, for each letter in the word, the spell checker checks for “nearby” letters on keyboard keys to improve the spell checker's list of replacement words. The system also monitors a user's history of use with respect to nearby or key (i.e. letter) substitutions and considers this information when presenting lists of alternative words. Another feature corrects spelling by monitoring a user's history of spell check corrections. Aggregate tables of corrections for more than one user may be maintained, shared, and provided by spell checkers. Various priorities may be used so that one approach is given favor over another.

Abstract: Recorded video is accessed from printed notes or summaries derived from the video. Summaries may be created automatically by analyzing the recorded video, and annotations are made by a user on a device for note-taking with digital ink and video. The notes and/or summaries are printed along with data glyphs that provide time based indexes or offsets into the recorded video. The indexes or offsets are retrieved by scanning the glyph on the printout. The glyph information can be embedded in the printouts in many ways. One method is to associate block glyphs with annotations or images on the printed pages. Another method is to provide an address carpet in an annotated timeline. Yet another method is to provide a two-dimensional address carpet with X-Y position mapped to time which can be used to provide selected access to the video. The accessed video may be played back on the note-taking device on a pen computer, or on a summary interface on a Web browser-type device.

Abstract: Disclosed is an apparatus and method for searching for a video clip. The method for searching for the video clip in accordance with the present invention comprises the steps of a) displaying a predetermined number of video clips on a screen of a video play apparatus which plays a video file, b) selecting a specific video clip among the displayed video clips by a user, and c) dividing frames constructing the selected video clip according to a predetermined division reference, and displaying the video clip constructed of the divided frame.

Abstract: An apparatus, system, method, and article for shuffling video information are described. The apparatus may include a media processing node to receive video information. The media processing node may include a shuffling module to shuffle the video information according to a shuffle order and a trusted entity programmed based on the shuffle order to provide access to the video information. The video information may be provided in an unshuffled manner when accessed through the trusted entity. Other embodiments are described and claimed.

Abstract: A graphical user interface (GUI) for presenting representations of selected objects in a computer system. The GUI presents an object selected from a collection of objects using a selected visual representation selected from at least first and second visual representations to be initiated using different initiation techniques. A first input control causes the selected object to be presented using another visual representation instead of the selected visual representation. A second input control causes another object to be presented instead of the selected object using any visual configuration that is currently used in presenting the selected object. The first and second input controls may be located in an object header area that remains essentially unchanged when changing between the at least first and second visual representations.

Abstract: A method and computer-readable medium are provided for navigation between attachments to electronic mail messages. According to the method, a list of e-mail messages is displayed that includes header information associated with each of the messages. When one of the messages in the list is selected, a determination is made as to whether the selected message has attachments. If the selected message has attachments, an identifier is displayed adjacent to the header information for each attachment. The identifier indicates that the attachment is associated with the selected message and may provide other information such as the type and size of the attachment. The identifiers are displayed in a manner to indicate clearly to a user that the attachments are associated with the selected e-mail message. The identifiers may be selected to preview the corresponding attachment.

Abstract: Methods and systems for providing dynamic emoticons during chat sessions across game consoles are disclosed. A dynamic emoticon may include haptic, visual, and/or auditory components. Each component may have an associated intensity level, e.g., based on a pressure with which a user of the game console presses a controller button or actuates a control input. The emoticon's auditory component may include or identify a sound effects filter or a known audio file; the emoticon's visual component may include or identify a visual effects filter or a known video or graphic file; the emoticon's haptic component may cause vibration of or force feedback on the controller. Emoticons may be sent from one voice chat participant's game console to another voice chat participant's game console across a network such as the Internet.

Abstract: A system, method and computer program product are provided for generating an application. An interaction with a first application is recorded for capturing a functionality of the first application. An interaction with a second application is also recorded for capturing a functionality of the second application. A pattern is generated based on the recorded interactions. An application is generated based on the pattern. The interactions recorded in the pattern are repeated upon replay of the pattern for providing the functionalities of the first and second applications. A method for executing the pattern-based application is provided. Upon receiving a request for data, a pattern for retrieving the requested data is selected. The pattern is replayed. The recorded interaction is conducted as specified in the pattern for obtaining the requested data. The requested data is received.

Abstract: System and method for deploying and executing a program, e.g., a graphical program, on an embedded device, e.g., a compact sensor interface (CSI) that includes or is coupled to one or more sensors. The program is stored on a host mobile computer, e.g., a PDA, then downloaded to the CSI over a wired or wireless serial link, e.g., cable, infrared (IR), Bluetooth, etc. The embedded device executes the graphical program to perform the function, thereby generating data. The data is sent to the mobile computer over a wired or wireless serial link, e.g., via a Front Panel Protocol, where the data is displayed. Alternatively, the mobile computer executes a different program to perform a discovery operation to detect and establish communications with the embedded device, retrieves the data from the embedded device via a wireless serial transmission medium, e.g., IR link (e.g., IrDA), Bluetooth, etc., and displays the data.

Abstract: Methods for displaying a set of hierarchical data and a set of non-hierarchical data on an electronic display comprise displaying at least part of the set of hierarchical data in a tree diagram that has a plurality of levels with one or more nodes present at each level, and displaying the set of non-hierarchical data in a plurality of auxiliary nodes that are provided in between levels of the tree diagram. Expansion handles may also be displayed adjacent nodes in the tree diagram. These expansion handles may be configured to expand or collapse the tree diagram at the node they are adjacent to. The expansion handles may optionally be configured to display or hide selected of the auxiliary nodes.

Abstract: A system and method for building a representation of a graphical user interface (GUI), comprising generating a class, generating a first representation of the GUI, wherein the class can produce a second representation GUI based on the first representation, generating a second representation of the GUI from the class, wherein the second representation includes at least one control, and wherein the first representation can include at least one of hierarchical relationships among controls, control properties, and control event information.

Abstract: A method, apparatus, and computer program product are disclosed for selecting links in a page using an enhanced mouse pointer. The page is displayed in a data processing system that includes a mouse that includes a scroll wheel. Multiple links are included in the page. A standard mouse pointer is displayed in the page. An enhanced mouse pointer state is then invoked causing the standard mouse pointer to become an enhanced mouse pointer. In response to invoking the enhanced mouse pointer state, a closest one of the links in the page to the enhanced standard mouse pointer is determined. An enhanced mouse pointer indicator is displayed that extends from the enhanced mouse pointer to the determined closest one of the links. The links may be scrolled through by rotating the scroll wheel.

Abstract: A method for creating new vias in an integrated circuit chip. The method automatically creates a plurality of new vias around an original via for electrically connecting two metal layers to each other in circuit layout data of the integrated circuit chip. The new vias also electrically connect the two metal layers to each other. According to the new vias, the probability of certainly electrically connecting the two metal layers of the integrated circuit chip to each other can be increased when the integrated circuit chip is being manufactured.

Abstract: A system and method for Term Rewriting System hardware design employs a scheduler that incorporates a preference order in scheduling conflicting rules. The scheduler schedules a conflicting rule to execute when its predicate is true, and it is preferred over other conflicting rules in the preference order. The preference order may be, in one embodiment, a user-specified preference order enumerated by a designer. Such an order may be chosen according to efficiency criteria, such that the conflicting rule most essential for efficient hardware will be scheduled to execute on a given state rather than less essential conflicting rules The system and method advantageously permits a schedule to be computed in a time frame polynomially related to the number of rules, and produces more predictable and more easily understood schedules than conventional methods.

Abstract: In a fabrication method of a semiconductor device a manufacturing method of a mask and an optimization method of a mask bias incorporating an optical proximity correction are provided. The manufacturing method of the mask incorporating an optical proximity correction can form a pattern in an excellent quality in a dense area where a micro design pattern in an irregular array state is formed. Also, a desired design pattern can be formed using a mask according to embodiments of the present invention regardless of an array state.

Abstract: Systems and methods are disclosed for organizing layout data. A layout database is analyzed to determine a statistical distribution of cells within the layout database based on a shape complexity of each cell. Cells with a shape complexity that exceeds a complex threshold may be defined as complex cells, which are examined to find candidate shapes that may be moved to one or more child cells within the complex cell. The layout database is then stored as an output layout database with at least some of these candidate shapes moved to child cells within the complex cells. Simple cells with a shape complexity that is less than a simple threshold may have their layout shapes moved to a parent cell of that simple cell. The layout database may also be partitioned into multiple dispatchable segments, which may be distributed to multiple processing threads for performing additional processes on the database.

Abstract: A behavior synthesis apparatus performs a behavior synthesis while optimizing an intermediate point pair, which is equivalent to each other only under a condition to be referenced. When an equivalence condition is provided for an intermediate cone, an equivalence-condition setting unit provides the intermediate cone with the condition for the equivalence. A logic-cone comparison unit determines whether or not the intermediate cone is equivalent under the provided equivalence condition. An intermediate-point-result reflection unit simplifies the intermediate cone with respect to the intermediate point pair determined to be equivalent in the logic cones to be verified. The logic-cone comparison unit checks the equivalence using the simplified logic cone.

Abstract: The state nodes in a sequential digital circuit are identified by identifying the minimal combinatorial feedback loops that are present in the digital circuit. Each minimal combinatorial feedback loop has at least one driver node, and one driver node from each minimal combinatorial feedback loop is assigned to be the state node for the loop.

Abstract: A counter abstraction tool generates an abstraction model for one or more counters in a circuit design for use with a formal verification system. The tool detects the presence of a counter in a circuit design, identifies one or more special values for the counter, and creates an abstraction for the counter. The tool can automatically perform the abstraction, guide a user in configuring the appropriate abstraction for the counter, or perform a combination of automatic and manual abstraction. The tool may further accommodate related counters.

Abstract: A method of testing critical delay paths of an integrated circuit design is disclosed. The method includes predicting and ranking a set of critical delay paths based on a set of predicted delay characteristics. Integrated circuits based on the integrated circuit design are tested to determine a set of actual delay measurements for the critical delay paths. The critical delay paths are ranked based on the actual delay measurements, and the results are correlated to the predicted ranking of critical delay paths to produce a confidence measurement that measures the likelihood that the actual critical delay paths of the design have been tested for a given production batch of devices.

Abstract: The basic cell design method of the present invention is a method for carrying out: extended pattern formation for extending the patterns of input wiring and output wiring in the longitudinal direction, forming first extended patterns that extend with a prescribed dimensional width in a direction perpendicular to the longitudinal direction at the ends of the extended patterns, and forming second extended patterns that extend with the prescribed dimensional width from the input wiring and the output wiring at the center of the cell in the longitudinal direction; and dummy pattern formation for subsequently arranging dummy patterns in vacant areas within the cell.

Abstract: A method for developing integrated circuits includes generating a core (logic core) in an HDL format readable by a logic synthesis tool, from an ASIC core (logic core) made of ports of blocks and port connection information, creating a temporary chip design from chip terminal information to generate a terminal in the temporary chip design, generating a design identical to that created, as a cell within the design created, connecting a design port with a cell port, wherein a name of the design port is identical to a name of the cell port, inserting an I/O buffer, depending on the device technology, into a net between the ports connected, replacing the cell by the core (logic core) created to gerate a netlist, and expanding a hierarchy of the design, being the top hierarchy.

Abstract: The present invention relates to a net/wiring selection method for selecting, from among nets/wirings wired on the basis of layout information, a net/wiring whose layout is to be changed with priority in order to improve a delay. To enable efficient elimination of a critical path, the method is arranged to include a wiring capacitance lower limit computation step for computing wiring capacitance lower limits on the basis of layout information; an inter-wiring capacitance computation step for computing, as an inter-wiring capacitance, a difference between a real wiring capacitance and the wiring capacitance lower limit; a parallel wiring length extraction step for extracting a parallel wiring length existing between adjacent wirings of the respective wirings; and a selection step for selecting a net/wiring whose layout is to be changed, on the basis of the inter-wiring capacitance, the parallel wiring length, and a slack value.

Abstract: Provides methods for transforming a flowchart to an equivalent tree diagram, methods for transforming an equivalent tree diagram to a flowchart, methods for verifying reorganization of a flowchart, methods for editing a flowchart, methods for creating a flowchart and a flowchart editor. A flowchart includes one or more logic structures and one or more processing activities in said one or more logic structures. The method for transforming a flowchart to an equivalent tree diagram comprises: traversing said flowchart; transforming said one or more logic structures in said flowchart to one or more branching nodes in said tree diagram; and transforming one or more processing activities in said logic structures of said flowchart to one or more leaf nodes below corresponding branching nodes in said tree diagram. Further, edition of a flowchart and verification of reorganization of a flowchart are performed by utilizing an equivalent tree diagram.

Abstract: System and method for programmatic creation of a task specification in a graphical program. A graphical program is programmatically analyzed. The graphical program implements a task, and includes a plurality of interconnected nodes that visually indicate functionality of the graphical program, including a function node that requires a task specification as input. The task specification includes hardware and/or software specifications for performing the task. The task specification is programmatically generated in response to the analyzing, and programmatically provided to the function node as input, where the function node operates to execute in accordance with the generated task specification to perform at least a portion of the task. The analyzing, generating, and providing are performed at run-time of the graphical program, e.g., during execution of the graphical program, and may be invoked or performed by a graphical program execution system, by a node in the graphical program, or both.

Abstract: Under the present invention, a best practice violation (BPV) engine resource is first built. This typically occurs by: receiving sets of source code from a plurality of sources; detecting a programming language of each of the sets of source code; extracting code patterns from the sets of source code; defining meta data for each code pattern that indicates a quality; classifying each code pattern; and assigning a rank to each of the code pattern based on its corresponding meta data as well as a skill level and an experience level of the developer. Once the BPV engine resource is built, it will be used to detect best practice violations in other sets of source code.

Abstract: The subject invention relates to systems and methods that provide null capabilities within the context of programming languages. In one aspect, a system is provided that facilitates null-support in various programming languages. The system includes one or more types associated with at least one programming language. A type modifier is provided to signal that the type is nullable. The type modifier enables a multi-element structure to be automatically created in association with the type wherein, the multi-element structure includes the type and a Boolean element indicating whether or not the variable is null.

Abstract: An analysis tool extracts class data from Java objects originating from multiple vendors having a particular design specification. A database mining tool then creates training data from the extracted class data to create a definition of objects associated with the particular design specification. Various implementations of the defined classes are compared across various performance metrics, which are output for the program designer as a function of vendor. The designer then selects the best design choices based on the best practices of multiple vendors disclosed by the outputs of the analysis tool when implementing a new Java program.

Abstract: An application domain manager enables a host application to create, initialize, customize, and otherwise manage an isolation construct within the application.

Abstract: A platform for running embedded software using an inexpensive standard personal computer is disclosed. A particular embodiment includes a compiler assist component and a runtime component. The compiler assist component operates in conjunction with a standard personal computer compiler to compile an embedded system application to run on a conventional personal computer. The runtime component executes on the personal computer and operates in conjunction with the standard operating system drivers to allow an emulated system to communicate with real hardware connected to the personal computer or to virtual hardware that is simulated on the personal computer.

Abstract: A system for the testing of a software component API includes the generation of a wrapper component. The wrapper component is generated by determining the interface of the software component and by mirroring that interface in the public interface of the wrapper. The wrapper methods delegate to the software component API. Test code is included within the wrapper component to permit capture and playback of interaction with the software component API. Test case software accesses the software component API through the wrapper. The wrapper both generates trace data based on the interaction between the test case and the software component and delegates to the software component API.

Abstract: Methods and apparatus are disclosed to detect patterns in an executing program. An example method disclosed herein develops a trace of a program; identifies a sequence of program states from the trace by comparing intersecting sets of data at least partially indicative of addresses associated with the trace; develops a set of probabilities of transitioning between pairs of program states in the series of program states; identifies a current program state of the program; and predicts a next program state of the program based on the current program state and at least one of the probabilities.

Abstract: A system and method for providing exceptional flow control in protected code through watchpoints is described. Code is generated. The generated code includes a sequence of normal operations and is subject to protection against copying during execution of the generated code. Execution points within the generated code are identified. A watchpoint corresponding to each of the execution points is set. An exception handler associated with each watchpoint is defined and includes operations exceptional to the normal operations sequence that are performed upon a triggering of each watchpoint during execution of the generated code.

Abstract: Systems, methods, and structures are discussed that enhance type reconstruction for programs. Whereas previous methods insufficiently provide the set of types necessary for program analysis, the embodiments of the present invention can accept any verifiable bytecode programs and produce a set of types needed for program analysis. The embodiments of the present invention provide a technique called subtype completion that transforms a subtyping system by extending its type hierarchy to a lattice. However, such transformation inserts only a minimal amount of elements so as to enhance the computation of reconstructed types.

Abstract: A method for updating values within the contents of a JAVA Archive (JAR) file without altering the JAR file structure. The present invention comprises a Smart Archive Program (SAP) and a Graphical User Interface (GUI) for implementing the SAP. The SAP creates a temporary directory in a computer's memory and stores the JAR file structure in the memory. The SAP then extracts the JAR file content into the temporary directory and allows the user to update the field values within the JAR file content. When the user has finished updating the field values in the JAR file content, the SAP archives the JAR file content into a new JAR file according to the JAR file structure stored in memory. Consequently, the present invention is able to update the field values within the JAR file content without altering the JAR file structure.

Abstract: Methods and systems for safe execution of guest code in virtual machine context are presented. A method for running a virtual machine in a computing system includes (a) launching a virtual machine monitor (VMM) that uses a software debugger; (b) launching a virtual machine (VM) that can natively run safe instructions; (c) determining, at runtime, if the instruction is safe or potentially unsafe; (d) executing safe instructions in a native mode; and (e) activating control logic to process potentially unsafe instructions in the software debugger. The software debugger can bypass at least one of the potentially unsafe instructions. The potentially unsafe instructions include instructions that cannot be safely executed in the context of the VM, and instructions that can cause unpredictable results in the context of the VM.

Abstract: Embodiments of the invention provide a method, system and article of manufacture for parallel application load balancing and distributed work management. In one embodiment, a hierarchy of master nodes may be used to coordinate the actions of pools of worker nodes. Further, the activity of the master nodes may be controlled by a “coordinator” node. A coordinator node may be configured to distribute work unit descriptions to the collection of master nodes. If needed, embodiments of the invention may be scaled to deeper hierarchies.

Abstract: A method for scheduling tasks in a computer operating system comprises a background task creating at least one registered service. The background task provides an execution presence and a data present to a registered service and ranks the registered services according to the requirements of each registered service. The background task also allocates an execution presence and a data presence according to each of the registered services such that each of the registered services is given an opportunity to be scheduled in the dedicated pre-assigned time slice.

Abstract: Methods and systems are provided for assigning objects to processing units. In one implementation, a method is provided for assigning objects to a cluster of processing units, wherein each of the processing units has a storage capacity. The method may include the steps of providing an ordered sequence of objects, providing an initial distribution of the objects to the processing units, and processing the objects in the order of the sequence to improve the smoothness of the initial distribution.

Abstract: A CPU 111m segments the jobs from each of the volume rendering processing on hand, prioritize processing sequence for each job, transmits one job which has reached the processing order to the computers (21 to 2k) on the accepting side and other computers equivalent to the self computer simultaneously, and executes the job for self processing. Then, after if receiving the processing result from the computer which has completed the processing of the transmitted job the earliest, the CPU 111m issues a halt command of the job to other computers on the accepting side. At this time, if any job to be requested on hand remains uncompleted, a series of processing procedures starting with the simultaneous communication is repeated.

Abstract: A mechanism for recording a timing in which a high urgency process is started is provided, and upon entry to a critical section in the middle of a low urgency process, by referencing the record, it is inspected whether a high urgency process will be started during execution of the critical section. If it will not be started, the critical section is entered, and if it will be started, control is exerted so that entry to the critical section is postponed until the high urgency process is completed. Exclusive access control in a critical section can be performed suitably under conditions where a plurality of task execution environments exist.

Abstract: The disclosed techniques for event notification enable applications that rely on event notifications to be ported transparently to clustered computing systems. The disclosed techniques for event notification exploit the characteristics of a clustered computing system and the characteristics of event notification in order to provide efficient event notification in clustered computing environments.

Abstract: An object model comprises a plurality of event framework information objects, a shared event data store and an event managing object. Each one of the event framework information objects define event framework characteristics for a respective one of a plurality of event frameworks implemented in a server. The shared event data store includes a plurality of event information objects each defining server event information for a respective one of a plurality of unique events exhibited by the server during operation. Each one of the event information objects is at least temporarily referenced by at least one of the event framework information objects. The event managing object is configured for creating the event information objects and managing persistence of the event information objects.

Abstract: A system and method for interacting with an object is provided. The system includes a method call interceptor that intercepts a method call made on an object and that routes the method call to a proxy. The method call interceptor is accessible to application code. The system also includes an application code generic proxy that after overriding a base class invocation method can receive intercepted method calls, can invoke methods on the object that the proxy images, can receive results from the object that the proxy images and can pass results to the entity that generated the intercepted method call.