30th week of 2011 patent applcation highlights part 58 |
Patent application number | Title | Published |
20110185254 | ERROR DETECTION AND CORRECTION SCHEME FOR A MEMORY DEVICE - Data is read from a memory array. Before being stored in a data buffer, a Hamming code detection operation and a Reed-Solomon code detection operation are operated in parallel to determine if the data word has any errors. The results of the parallel detection operations are communicated to a controller circuit. If an error is present that can be corrected by the Hamming code correction operation, this is performed and the Reed-Solomon code detection operation is performed on the corrected word. If the error is uncorrectable by the Hamming code, the Reed-Solomon code correction operation is performed on the word. | 2011-07-28 |
20110185255 | ENCODING/TRANSMITTING APPARATUS AND ENCODING/TRANSMITTING METHOD - An encoding/transmitting apparatus that is used to transmit moving-picture data from a transmitting side to a receiving side through a transmission path and to subject the moving-picture data to streaming in the receiving side has an external-output request determining unit that monitors the state of a network. If the network assumes an undesirable state, the request determining unit causes a multiplex output unit to stop multiplexing data. When the network assumes a desirable state, the multiplex unit starts multiplexing the data again. A video encoding unit and an audio encoding unit keep encoding data, whether the multiplex output unit is multiplexing data or not. When the area occupied by encoded data in an encoded-video-data storage unit and the area occupied by encoded data in an encoded-audio-data storage unit exceed a predetermined value, the encoding units stop encoding data, and wait until the area occupied by encoded data sufficiently decreases. | 2011-07-28 |
20110185256 | Adjustment of Write Timing Based on Error Detection Techniques - A method, system, and computer program product are provided for adjusting write timing in a memory device based on results of an error detection function. For instance, the method can include determining a write timing window between a signal on a data bus and a write clock signal based on the results of the error detection function. The method can also include adjusting a phase difference between the signal on the data bus and the write clock signal based on the write timing window. The memory device can recover data on the data bus based on the adjusted phase difference. | 2011-07-28 |
20110185257 | SEMICONDUCTOR MEMORY HAVING NON-STANDARD FORM FACTOR - A semiconductor memory chip including error correction circuitry configured to receive data words from an external device, each data word comprising a binary number of data bits, and configured to error encode each data word to form a corresponding coded word comprising a non-binary number of data bits including the data bits of the data word and a plurality of error correction code bits. At least one memory cell array is configured to receive and store the coded word and partitioned based on the non-binary number of bits of the coded word so as to have a non-binary number of wordlines and provide the memory chip with an aspect ratio other than a 2:1 aspect ratio. | 2011-07-28 |
20110185258 | SELECTING STORAGE FACILITIES AND DISPERSAL PARAMETERS IN A DISPERSED STORAGE NETWORK - A method begins by a processing module receiving a data storage request that includes metadata and data. The method continues with the processing module determining a base-line set of error coding dispersal storage function parameters based on the metadata. The method continues with the processing module identifying candidate dispersed storage (DS) units based on the base-line set of error coding dispersal storage function parameters. The method continues with the processing module selecting DS units of the candidate DS units based on the metadata to produce selected DS units. The method continues with the processing module dispersed storage error encoding the data in accordance with at least a representation of the base-line set of error coding dispersal storage function parameters to produce a set of encoded data slices. The method continues with the processing module sending the set of encoded data slices to the selected DS units for storage therein. | 2011-07-28 |
20110185259 | OVERWRITABLE NONVOLATILE MEMORY DEVICE AND RELATED DATA WRITE METHOD - A nonvolatile memory device comprises overwritable memory cells. In an overwrite operation, data is read from a selected region of the nonvolatile memory device and combined with overwrite data to produce combined data. An error correction code is then generated for the combined data and the overwrite data and the error correction code are stored in the selected region. | 2011-07-28 |
20110185260 | Storage of data in data stores having some faulty storage locations - Data storage control circuitry for controlling storage and retrieval of data in a data store in which data is stored in data blocks. A group data store stores data by grouping together blocks that have at least one faulty bit into groups of at least two blocks. For each group of blocks at least one of the blocks has a non-faulty bit for each of the bit locations in the blocks. A selector data store stores indicators for each group indicating which bits of the blocks within a group are the non-faulty bits. When storing data to a data block within a group, the data is stored in each of the blocks within the group. When retrieving data from a data block within a group, the data is read from respective bits of the blocks within the group as indicated by the indicators. | 2011-07-28 |
20110185261 | SEMICONDUCTOR MEMORY DEVICE - A memory device includes an error detection and correction system with an error correcting code over GF(2 | 2011-07-28 |
20110185262 | ERROR MANAGEMENT - An electronic device is described which receives data from a transmitting device via a communications channel. The electronic device comprises digital processing circuitry arranged to process the data received via the communications channel to generate output data, error detection circuitry arranged to detect errors in the output data, and monitoring circuitry arranged to monitor the quality of digital processing conducted by the digital processing circuitry and generate digital performance data indicative of the monitored quality of digital processing. The electronic device also comprises control circuitry responsive to error information comprising errors detected by the error detection circuitry and the performance data generated by the monitoring circuitry to modify the operation of one or both of the transmitting device and the electronic device. The digital performance data provides the control circuitry with additional information for use in identifying where errors in signal processing are arising, enabling an informed decision be made to modify the operation of either the transmitting device or receiving device in some way, either to reduce the occurrence of errors in the output signal or to improve the speed and/or efficiency of the transmitter and/or receiver. | 2011-07-28 |
20110185263 | HI-SPLIT UPSTREAM DESIGN FOR DOCSIS - In one embodiment, upstream transmission throughput in a cable network is markedly increased by moving up the US/DS frequency split by approximately an order of magnitude to a few hundred MHz. Additional transceivers (carriers) may be implemented to take advantage of the broader spectrum. A block of multiple upstream carriers (FIG. | 2011-07-28 |
20110185264 | LDPC DECODING WITH ON THE FLY ERROR RECOVERY - It is decided whether to adjust data associated with a decoder. In the event it is decided to adjust the data associated with the decoder, the data is adjusted to obtain adjusted data and decoding is performed using the decoder and the adjusted data. In the event it is decided to not adjust the data associated with the decoder, decoding is performed using the decoder and the data associated with the decoder. | 2011-07-28 |
20110185265 | High-speed and agile encoder for variable strength long BCH codes - Agile BCH encoders are useful when the noise characteristics of the channel change which demands that the strength of the error correcting BCH code to be a variable. An agile encoder for encoding a linear cyclic code such as a BCH code, is a code that switches code strength (depth) relatively quickly in unit increments. The generator polynomial for the BCH code is provided in the factored form. The number of factored polynomials (minimal polynomials) chosen by the system determines the strength of the BCH code. The strength can vary from a weak code to a strong code in unit increments without a penalty on storage requirements for storing the factored polynomials. The BCH codeword is formed by a dividing network and a combining network. Special method is described that provides a trade off mechanism between latency and throughput while simultaneously optimizing the delay in the critical path which is in the forward path. Speed enhancements at minimal polynomial level are also provided by retiming, loop unfolding, loop unrolling, and special mathematical transformations. The presented invention can be implemented as an apparatus using software or hardware or in integrated circuit form. | 2011-07-28 |
20110185266 | METHOD OF DECODING A PATTERN-ENCODED COORDINATE - A method of decoding a coding pattern disposed on or in a substrate. The method comprises the steps of: (a) operatively positioning an optical reader relative to a surface of the substrate; (b) capturing an image of a portion of the coding pattern, the coding pattern comprising a plurality of square tags of length/identifying two-dimensional location coordinates; and (c) sampling and decoding x-coordinate data symbols within the imaged portion and y-coordinate data symbols within the imaged portion. The imaged portion has a predetermined diameter and is guaranteed to contain sufficient data symbols from each of the Reed-Solomon codes so that symbol errors are correctable in each of the codes during the decoding. | 2011-07-28 |
20110185267 | ENCODING DEVICE, CONTROLLER AND SYSTEM INCLUDING THE SAME - An encoding device includes an encoder and a puncturing unit. The encoder generates parity bits based on information bits. The puncturing unit punctures the parity bits based on a puncturing pattern complying with a first criterion determining a period of the puncturing pattern and a second criterion determining positions of remaining parity bits. | 2011-07-28 |
20110185268 | Storage apparatus and data verification methd in storage apparatus - When a data write request to a disk drive | 2011-07-28 |
20110185269 | AUDIO/VISUAL EDITING TOOL - Analyzing data sequences, such as video and audio segments, and extracting metadata from the data sequences for providing information related to events of the data sequences. The metadata extracted is used for making editing decisions, such as for an audio-visual production comprised of a collection of video and audio segments. The metadata identifies events of importance in the video and audio segments, which may then be applied to the editing process. A user interface including the extracted metadata in a timeline format facilitates editing the audio-visual production. | 2011-07-28 |
20110185270 | DYNAMICALLY MANIPULATING CONTENT TO FORCE WEB BROWSERS TO OPEN MORE CONNECTIONS - A system may identify a group of first links in a document, where the first links correspond to a group of objects within the document and are associated with a same identifier. The system may replace the first links in the document with second links that point to a number of different identifiers, and forward the document with the second links to a client. | 2011-07-28 |
20110185271 | MARKING DOCUMENTS WITH EXECUTABLE TEXT FOR PROCESSING BY COMPUTING SYSTEMS - Techniques for processing documents with executable text are disclosed. The techniques, among other things, can effectively address XSS attacks to Internet users when browsing web sites. Content deemed not to be trusted or fully trusted (“untrusted”) can be marked in a document that can include executable text. Remedial action, including not allowing execution of executable text marked as “untrusted” can be taken. In addition, when the document is processed, content deemed not to be trusted or fully trusted (“untrusted”) can be effectively monitored in order to identify executable text that may have been effectively produced by “untrusted” content and/or somehow may have been affected by “untrusted” content. | 2011-07-28 |
20110185272 | Computer Method and Apparatus for Creating Sketch Geometry - A sketch tool for CAD systems extends geometric templates. A markup type language file (e.g., XML file) is used to define an additional basic geometric shape. The file schema also enables definition of constraints and drag points of the subject shape. | 2011-07-28 |
20110185273 | System and method for extracting content elements from multiple Internet sources - A system for automatically extracting data from at least one electronic document accessible through the Internet or other computer network. The system records a sequence of actions operable to electronically navigate to a target page of the electronic document, the target page including a plurality of elements each having contents and a structural definition wherein the structural definitions interrelate the plurality of elements to specify a target pattern for a select subset of the plurality of elements. After recording the navigation path and the target pattern, the system automatically accesses the target page according to the recorded sequence. When the target page is accessed, the system automatically identifies, copies and processes selections from the plurality of elements dependent upon the target pattern. | 2011-07-28 |
20110185274 | MARK-UP LANGUAGE ENGINE - The invention relates to a mark-up language engine which is intermediate software for automation of data processing for data having a mark-up language structure. More particularly, the invention is related to extensible Markup Language (XML) and XML-based languages. The engine according to the invention uses a tree-based structure that uses less memory than the original file. With such an engine, it is possible to have fast access to data and fast modification of data without the need of powerful processing means and without the need of a large memory. | 2011-07-28 |
20110185275 | DEVICE AND METHOD FOR UPDATING STRUCTURED INFORMATION - Disclosed is a device and method of updating Structured Information (SI). The device and the method may define a standard for updating SI based on information described in Presentation Information (PI) and may update the SI based on the defined standard. | 2011-07-28 |
20110185276 | TEXT OUTPUT METHOD AND APPARATUS - A text output method and apparatus are provided. The text output method includes outputting characters in horizontal lines on a screen, and the outputting the characters includes outputting the characters by performing line breaking in a lower-to-upper direction. | 2011-07-28 |
20110185277 | SMART SPACE INSERTION - A system and method for inserting space is described. A user may designate content to be inserted into a document and have the system insert space to accommodate the new content. The system and method permit some content to overlie other content as may be intended by a user. | 2011-07-28 |
20110185278 | METHODS FOR PROVIDING A PLAYLIST BY ACQUIRING RADIO DATA SYSTEM INFORMATION FROM MULTIPLE RADIO STATIONS - Wireless electronic devices with two frequency modulation (FM) tuners are provided. An electronic device may use a first FM tuner to tune to a current radio station and may use a second FM tuner to scan other radio stations to obtain a list of radio data system (RDS) information. The electronic device may use the list of RDS information to display a master playlist that includes an alternate song list reflecting songs that are currently playing on the other radio stations. A user of the electronic device may select a song from the alternate song list, may switch to a new radio station to listen to the selected alternate song, may tag the song for later purchase, or may return to the master playlist. The user may purchase the tagged songs at a later time through a media management service that can be launched directly on the electronic device. | 2011-07-28 |
20110185279 | METHODS AND SYSTEMS FOR REQUESTING AND DELIVERING MELODY MESSAGES - A method for requesting and creating a personalized message by selecting a song clip, entering a recipient's phone number, and recording a personalized message, which is then sent to the identified recipient at a scheduled date and time by phone. The personalized message can be received by a recipient who answers the phone, or can be recorded by the recipient's voicemail system. | 2011-07-28 |
20110185280 | Computerized Toolset for Use with Oracle Forms - A method for automatically operating an Oracle Forms application, the method comprising: intercepting, using a Listener component of the Oracle Forms application, a communication between the Oracle Forms application and an Oracle Forms server, and storing the intercepted communication; identifying, in the intercepted communication, data associated with at least one user input field of the Oracle Forms application; replacing, in the intercepted communication, the identified data with new data corresponding to the user input field of the Oracle Forms application, to produce a new communication; and transmitting the new communication to the an Oracle Forms server, using a Dispatcher component of the Oracle Forms application, thereby causing the Oracle Forms application to operate automatically. | 2011-07-28 |
20110185281 | MESSAGE DATA MANAGEMENT - A workflow manager application transfers message data received from an originating device via a communication network to a target application for processing. A graphical user interface displays the received message data and allows the user to view and designate one or more target applications for processing the message data. The workflow manger application is responsive to user input to transfer message data to the designated one or more target applications for processing the message data. Alternatively, the workflow manager application analyzes received message data to identify one or more target applications, and transfers the message data to the identified one or more target applications for processing. | 2011-07-28 |
20110185282 | User-Interface-Integrated Asynchronous Validation for Objects - An asynchronous data validation mechanism integrated into a user interface by a binding engine is provided. Application object properties are bound to user interface data fields. The asynchronous validation mechanism communicates with a validator and with the object properties. Data input to a single field can be flagged with multiple validation errors. Multiple validation errors can also be associated to the object overall rather than being associated with particular properties of the object. Inconsistency between inputs to different data fields can result in a cross-property validation error. A single flag indicates whether the business object has any validation errors. Different validation errors may have different visualization types, and the business object may have validation errors of different data types, rather than being limited to strings. | 2011-07-28 |
20110185283 | MOBILE TERMINAL AND METHOD OF CONTROLLING THE MOBILE TERMINAL - A mobile terminal and a method of controlling the mobile terminal are provided. According to the mobile terminal and the method of controlling the mobile terminal, it is possible to automatically change widgets on a home screen in accordance with a user-defined time or location condition. Therefore, it is possible for a user to manually delete or add a widget to or from the home screen. | 2011-07-28 |
20110185284 | TECHNIQUES FOR GRAMMAR RULE COMPOSITION AND TESTING - Techniques are provided for composing and testing grammar rules that are configured to provide feedback on violations of target grammar guidelines in the text of documents. Tests may be performed to determine whether a new grammar rule produces false positives, is redundant or conflicts with other rules, or is expensive to apply to a document. A user may test the rule, in isolation or with other rules, on a batch of documents. A display of a summary of feedback that is generated in the batch of documents by the rules is provided. The user may also apply a rule to documents submitted for feedback as a hidden rule. Any violations of a hidden rule are recorded, but feedback on the violations is not provided in submitted documents. Furthermore, a user may indicate a level for a rule, which may control the set of documents to which the rule is applied. | 2011-07-28 |
20110185285 | SOCIAL NETWORK NOTIFICATIONS FOR EXTERNAL UPDATES - In embodiments, various technologies for notifying users of a social network service of updates to services external to the social network service by members of the social network are described. An indication that a member of a social network service made an update to an external service can be received. Then, at least one additional member associated with the member in the social network service can be notified of the update to the external service. The external service may include typical web services, such as a blogging service, a video sharing service, or a photo sharing service. | 2011-07-28 |
20110185286 | WEB BROWSER INTERFACE FOR SPATIAL COMMUNICATION ENVIRONMENTS - A web browser interface for visualizing realtime network communications in spatial communication environments allows communicants to interact with other communicants in an immersive spatial communication environment without having to install any specialized communication software and without requiring special proxies or firewall additions or exceptions. | 2011-07-28 |
20110185287 | STATE PERSISTENCE AND BACKGROUND INITIALIZATION FOR POST-BACK WEB APPLICATIONS - A system is disclosed for reducing the time required to generate web pages on post-back of collaborative web applications. Content from web pages of the collaborative web applications may be displayed in respective foreground and background IFRAMES over a display. Upon post-back to load content from a new web page in the foreground IFRAME, the content from the background IFRAME persists, thus saving the round trip otherwise required to update content from the background IFRAME. Initialization and update of the content in the background IFRAME may be performed when interaction with the content in the foreground IFRAME is idle. | 2011-07-28 |
20110185288 | TECHNIQUES TO RESTORE COMMUNICATIONS SESSIONS FOR APPLICATIONS HAVING CONVERSATION AND MEETING ENVIRONMENTS - Techniques for restoring communications sessions for applications having conversation environment and a meeting embodiment are described. A system may include a meeting component of a communications application for selecting a meeting from multiple meetings, a conversation component of the communications application for managing multiple conversation threads, and a recovery component of the communications application for recovering an active meeting from the multiple meetings or an active conversation thread from the multiple conversation threads. Other embodiments are described and claimed. | 2011-07-28 |
20110185289 | PORTABLE TABLET COMPUTING DEVICE WITH TWO DISPLAY SCREENS - A portable tablet computing device is disclosed. The device comprises a main display screen on a first planar surface and an auxiliary display screen on a second planar surface. According to the preferred embodiment, the main display screen is of a touchscreen type and is used as the display for the device used as a general purpose computing device. The auxiliary display screen is an e-paper type and is for delivering e-books. The device operated as an e-book consumes much less power with a low power processor and an optimized operation system for the e-book reader. Image sensors are used to detect one of the two planar surfaces facing the user and to switch on one of the two display screens accordingly. | 2011-07-28 |
20110185290 | MOBILE TERMINAL AND CONTROLLING METHOD THEREOF - A mobile terminal and controlling method thereof are disclosed, which facilitates a terminal to be used in further consideration of user's convenience. The present invention includes if a user having a prescribed ID logs in to an instant message server, receiving and displaying a pre-registered buddy list from the instant message server, setting a communication block for a first buddy in the buddy list not to inform the first buddy that the ID user has logged in, setting a communication grant for a second buddy in the buddy list to inform the second buddy that the ID user has logged in, displaying a dialogue window for an instant message communication with the first buddy, and receiving/transmitting an instant message from/to the first buddy despite that the communication block has been set for the first buddy. Accordingly, even if a user does not set a communication grant or block per a buddy in a buddy list in advance, it is able to effectively prevent a request for initiating an instant message communication with the user from being made by an unwanted buddy. Once one buddy is communication-blocked, it is able to receive an instant message from the communication-blocked buddy even before the communication block is released. | 2011-07-28 |
20110185291 | SYSTEM AND METHODS FOR AN ONLINE DEBATE - A system for online debating hosted on a server that allows a first and at least a second participant to engage in an online debate created by an administrator. The system for online debate may comprise an administrator interface, and system module, and a participant interface. The administrator interface may be configured to initiate the online debate, modify a pairing of the participants, and receive administrator feedback. The system module automatically executes software after initiation of the online debate and may be configured to pair the first participant and at least the second participant from a database. The participant interface may be configured to display a topic and a description, receive and display an argument from the first participant and a counterargument from the second participant, limit arguments and counterarguments to a predetermined number of cycles, receive participant feedback, display administrator feedback and participant feedback; and receive and tally votes as to a winner of the debate. | 2011-07-28 |
20110185292 | Accessing Virtual Disk Content of a Virtual Machine Using a Control Virtual Machine - Methods, systems, and techniques for facilitating access to content stored remotely, for example, as part of a virtual machine infrastructure or elsewhere in a networked environment, using a uniform mechanism are provided. Example embodiments provide an Enhanced Virtual Desktop Management Server/System with a Content Abstraction Layer which enables users to access their data stored as part of a virtual machine environment, or replicated otherwise on a network, using a generic API. The API can be incorporated into a web browser or other third party interface to provide access to the users' data without needing to remote a bitmap representation of a virtual desktop display. Accordingly, users can access their data, applications, and settings regardless of the type of access device and regardless of whether the corresponding virtual desktop is running in the data center, provisioned in the datacenter but running on a client device, or not running at all. | 2011-07-28 |
20110185293 | Interaction Management System and Methods of Use - A communication transaction management system has a computerized appliance executing software from a digital medium for a particular enterprise, a holding function of the software tracking received transactions initiated by associated persons, and selecting individual transactions for connection to live agents, and a monitoring function for determining behavior of the persons associated with individual transactions on hold relative to an interactive presentation. Individual transactions on hold are prioritized for connection to live agents at least in part depending on the behavior determined by the monitoring function. | 2011-07-28 |
20110185294 | PATTERN-BASED USER INTERFACES - An intended usage of information to be displayed by a software application can be described. A selection of a user interface pattern module for displaying the information can be performed. The user interface pattern module can be designed for the intended usage. While running the application, user interface constructs for displaying the information using the user interface pattern module can be instantiated and organized, and can be rendered to display the information. Moreover, a first user interface pattern module can be selected and used with categorization metadata for the information to display the information in a first context, and a second user interface pattern module can be selected and used with the categorization metadata to display the information in a second context. Additionally, the categorization metadata may be revised, and the revised categorization metadata and a selected user interface pattern module may be used to instantiate and organize user interface constructs. | 2011-07-28 |
20110185295 | INFORMATION PROCESSING APPARATUS, PLUG-IN INTERACTION METHOD, AND COMPUTER-READABLE STORAGE MEDIUM - In an information processing apparatus, each plug-in includes a notifying part to notify a processed result of a logic part of the plug-in to another plug-in or, a receiving part to receive the processed result from the other plug-in. A first plug-in at an interacting source notifies the processed result of the logic part of the first plug-in to a user interface part of a second plug-in at an interacting destination. The receiving part of the second plug-in receives the processed result from the first plug-in, and the user interface part of the second plug-in generates a display screen of the second plug-in based on the processed result received by the second plug-in. | 2011-07-28 |
20110185296 | Displaying an Environment and Related Features on Multiple Devices - A method for displaying an environment is described. The method includes causing displaying of an environment on a primary device visible to at least a first user and a second user of a plurality of users; causing displaying of first user-specific features associated with the environment on a first mobile device associated with the first user; causing displaying of second user-specific features associated with the environment on a second mobile device associated with the second user. | 2011-07-28 |
20110185297 | IMAGE MASK INTERFACE - Systems and methods are disclosed for an image editing process on an electronic device that uses an image mask to edit an image object. The image editing process may include an image mask overlying the image object and having a frame and an aperture. The image editing process may crop the image object based on the portions of the image object overlaid by the mask frame and the mask aperture. The image object and the image mask may be separately selected and manipulated by selecting different regions of the image object or the image mask. Additionally, a user may resize the image object by moving a slider, such as by touching and moving a slider knob along an axis. | 2011-07-28 |
20110185298 | METHOD AND APPARATUS FOR A DISTRIBUTABLE GLOBE GRAPHICAL OBJECT - A method and system for providing enhanced intelligent agents that are moveable by a user from a browser application to a desktop. In specific embodiments, agents provide advanced interactive graphics and communications back to a server. | 2011-07-28 |
20110185299 | Stamp Gestures - Techniques involving gestures and other functionality are described. In one or more implementations, the techniques describe gestures that are usable to provide inputs to a computing device. A variety of different gestures are contemplated, including bimodal gestures (e.g., using more than one type of input) and single modal gestures. Additionally, the gesture techniques may be configured to leverage these different input types to increase the amount of gestures that are made available to initiate operations of a computing device. | 2011-07-28 |
20110185300 | BRUSH, CARBON-COPY, AND FILL GESTURES - Techniques involving gestures and other functionality are described. In one or more implementations, the techniques describe gestures that are usable to provide inputs to a computing device. A variety of different gestures are contemplated, including bimodal gestures (e.g., using more than one type of input) and single modal gestures. Additionally, the gesture techniques may be configured to leverage these different input types to increase the amount of gestures that are made available to initiate operations of a computing device. | 2011-07-28 |
20110185301 | Providing sensory information based on detected events - An electronic device is described. During operation, the electronic device may receive information associated with an event, which was detected by a hooking software program while the information was conveyed to an environment (such as an operating system) of the electronic device. For example, the event may be a user-interface operation, such as a click-drag operation, which may be performed using a mouse (and, more generally, using a user-interface device). Moreover, in response to the received information, the electronic device may provide sensory information via the hooking software program. This sensory information may be other than sensory information associated with native operations executed in the environment during a user session prior to the event. Thus, the electronic device may expand the functionality associated with the environment (without modifying software associated with the environment) and, in particular, the functionality associated with events, such as click-drag operations. | 2011-07-28 |
20110185302 | MONITOR FOR UVC/IR DECONTAMINATION SYSTEMS - A Measuring and Monitoring Software Program which is running on a computerized Data Acquisition and Control platform, and which is part of a complete UVC and/or IR disinfection and decontamination systems for air, water or of other physical state of matter. Qualitative and quantitative determination of decontamination efficacy is achieved by means of measuring the air or water quality delivered by system, where UVC and IR radiation intensity is sensed and measured at the lamp surface along with other measurements of air pressure, speed, flow and temperature which are sampled and signal conditioned then processed by the Data Acquisition and Control System (DAQ). These parameters are then sent to the input of the Measuring and Monitoring system where are processed within mathematical routines, and the results are displayed on the computer graphic User Interface (GUI), displaying measurements compared with safety limits, actuator controls, warning and alerts for human interpretation and response. | 2011-07-28 |
20110185303 | POWER MANAGEMENT APPARATUS, AND DISPLAY METHOD - There is provided a power management apparatus including an authentication processing unit that carries out an authentication process on each individual electronic appliance that is to be managed, a consumption amount acquiring unit that acquires information on power consumption from the electronic appliance, and an information display unit that displays an authentication state or an authentication result obtained from the authentication processing unit, together with the information on power consumption acquired by the consumption amount acquiring unit. | 2011-07-28 |
20110185304 | GRAPHICAL GUIDES TO AID USER SELECTION OF GROUPS OF INSTRUCTION PACKAGES - The invention provides a method and system for graphically mapping compatible processing updates. The method includes employing a processor for tracking updates for processing instruction packages. The method further includes determining compatibility between each of the processing instruction packages. The method additionally includes linking combinations of compatible processing instruction packages together. The method also includes providing a map of one or more combinations of linked compatible processing instruction packages and tracked updates for the plurality of processing instruction packages to a graphical user interface for facilitating selection of tracked updates for the plurality of processing instruction packages. | 2011-07-28 |
20110185305 | APPLICATION MODULE FOR MANAGING JOBS ASYNCHRONOUSLY - A method to synchronize data between a spreadsheet application and a marketplace application is disclosed. The method includes receiving a request to synchronize data items between the spreadsheet application and the marketplace application, the data items relating to a type of listing of items associated with the marketplace application. Additionally, the method includes executing a process to synchronize the data items between the spreadsheet application and the marketplace application, the process to include at least one of downloading one of the data items from the spreadsheet application and uploading one of the plurality of data items to the marketplace application, the executing of the process to occur independently of the executing of the spreadsheet application. Furthermore, the method includes displaying a status of the executing of the process in a native user interface element of the spreadsheet application. | 2011-07-28 |
20110185306 | Methods and Systems for a Linear Character Selection Display Interface for Ambiguous Text Input - Methods of and systems for entering ambiguous text input via a linear character selection display are provided. A system for entering an alphanumeric string includes presentation logic for displaying on a presentation device an alphabet arranged into a row of letters and indication logic for presenting visual cues grouping a series of letters of the row into a cluster. The system also includes navigation logic for receiving user actions to move the visual cues along the row of letters to change the letters grouped into the cluster. The visual cues move along the row of letters in variable offsets based on a rate of input of the user actions. The system further includes selection logic for receiving user actions to select the cluster of letters to cause at least one of the letters of the selected cluster to be displayed in a string field. | 2011-07-28 |
20110185307 | GENERATING EQUATIONS BASED ON USER INTENT - Some embodiments provide a system that facilitates the creation of an equation. During operation, the system obtains a user selection of a function to be used in the equation. Next, the system determines a state of a graphical user interface (GUI) associated with a software program. More specifically, the system may determine a cursor position or a text selection in the equation. Finally, the system facilitates the creation of the equation by inserting the function into the equation based at least on the determined state. | 2011-07-28 |
20110185308 | PORTABLE COMPUTER DEVICE - In one embodiment, a portable computer device is equipped with a display for displaying information, a sensor for detecting a touch to the display, and a control unit. The control unit displays a first image data and a second imaged data which is an enlarged image data of the first image data, scrolls the enlarged image data when a tracing operation is detected by the sensor and a scroll mode is set, and selects at least one object contained in the enlarged image when the tracing operation is detected by the sensor and a selection mode is set. | 2011-07-28 |
20110185309 | GESTURE-BASED USER INTERFACE - The invention includes methods, systems, computer program products and means for providing an intuitive user interface for interacting with a game console that obviates the need for, or use of, a typical game controller. In one embodiment, the user interface comprises an analog-like mechanism for manipulating a menu and icon system. The menu system allows the user to highlight a menu option or icon using movement along one axis and to activate the menu option or icon via movement on a different axis. In one embodiment, highlighting is associated with a vertical motion and activation is associated with a horizontal motion. The vertical motion can be tied to the vertical movement of a particular appendage, e.g., the up and down movement of the user's right arm, and the horizontal motion can be tied to the horizontal movement of that or another appendage, e.g., movement of the right arm or hand across the body from right to left. | 2011-07-28 |
20110185310 | METHOD AND SYSTEM FOR DETECTING A FINGER CONTACT ON A TOUCHPAD - A method for executing a scroll control operation on a touchpad comprises receiving a first contact signal induced by a first contact with a first section of the touchpad, receiving a second contact signal induced by a second contact with a second section of the touchpad, the first section and second section being predefined in a scrolling region on the touchpad, recording a first direction from the first contact to the second contact, and a first distance between the first section and the second section and outputting a scroll control signal to execute a scroll operation, the scroll control signal including information of the first direction and first distance. | 2011-07-28 |
20110185311 | MOTION ENABLED MULTI-FRAME CHALLENGE-RESPONSE TEST - A method for generating a multi-frame image rendering of a challenge-response test on a display is presented. The method begins by identifying a pattern with graphical elements, and a display region for rendering an entry object of the multi-frame image of the challenge-response test. Then a foreground sampling window having a non-patterned area defined by the entry object is defined. The foreground sampling window captures graphical elements of the pattern along a first path. In addition, a background sampling window that captures graphical elements of the pattern along a second path is defined. The foreground sampling window is overlaid on the background sampling window at the display region of the display, such that the entry object of the challenge-response test is discernable from the pattern during a period of time when multiple frames are rendered. | 2011-07-28 |
20110185312 | Displaying Menu Options - A method for displaying menu options is described. The method includes causing displaying of a first content on a first device, the first content comprising a video content and a plurality of menu options; causing displaying of a second content on a second device, the second content comprising a still image and the plurality of menu options; responsive to user input on the second device that selects a menu option of the plurality of menu options, causing performing of an action on the first device. | 2011-07-28 |
20110185313 | METHOD AND SYSTEM FOR CUSTOMIZING A USER-INTERFACE OF AN END-USER DEVICE - A mobile device includes a storage unit and an add-on user experience engine. The storage unit stores an instruction table which defines at least one contextual menu which is associated with multiple applications of the mobile device according to the context. The add-on user experience engine parses the instruction table and displays the at least one contextual menu with at least one button. Each button accesses one of the applications with parameters for the application as defined in the instruction table. A user experience menu definer includes an authorizer to provide an authorized individual with access to information about a mobile device of another person and a table defining unit which generates the instruction table from input of the authorized individual. | 2011-07-28 |
20110185314 | Interactive thumbnails for transferring content among electronic documents - Embodiments of the invention relate generally to computing devices and systems, software, computer programs, applications, and user interfaces, and more particularly, to generating a reproduction of an electronic document, such as a thumbnail, that includes an input field. | 2011-07-28 |
20110185315 | SIMPLIFIED USER CONTROLS FOR AUTHORING WORKFLOWS - A workflow design system provides user interface controls that allow a workflow author to focus on the steps of the workflow before deciding on how to control the flow of the workflow. With the system, an author can change the control flow of a workflow without re-ordering the sequence of steps within the workflow. The workflow design system allows the author to define a sequence of steps and then drag a control block over these steps to capture them within the control block. The author can also later remove the control block without affecting the sequence of steps if his needs change. In addition, the system presents error-handling workflows side-by-side with the main workflow, so that the author can modify the main workflow and notice the effects and any corresponding changes for error handling workflows at the same time. | 2011-07-28 |
20110185316 | Device, Method, and Graphical User Interface for Managing User Interface Content and User Interface Elements - Alignment guides configured for velocity-sensitive behavior are disclosed. In one embodiment, during a user interface element move gesture, the gesture velocity is determined, and while moving the user interface element during the gesture, the user interface operates in a first or a second state with respect to displaying alignment guides. When the velocity of the user gesture exceeds a predefined velocity threshold, the display of the user interface is maintained in the first state, which does not include visibly displaying alignment guides. When the velocity of the user gesture is less than the predefined velocity threshold, the user interface is displayed in a second state that includes visibly displaying one or more alignment guides. In some embodiments, gesture velocity is used to set alignment guide attraction strength. | 2011-07-28 |
20110185317 | Device, Method, and Graphical User Interface for Resizing User Interface Content - Aspect ratio locking alignment guides for gestures are disclosed. In one embodiment, a gesture is detected to resize a user interface element, and in response, a first alignment guide is visibly displayed, wherein the first alignment guide includes positions representing different sizes the user interface element can be resized to while maintaining the initial aspect ratio of the user interface element. While the user interface element is resized in accordance with the user gesture, and while the first alignment guide is visibly displayed: when the user gesture is substantially aligned with the first alignment guide, visible display of the first alignment guide is maintained; and when the user gesture substantially deviates from the first alignment guide, visible display of the first alignment guide is terminated. | 2011-07-28 |
20110185318 | EDGE GESTURES - Techniques involving gestures and other functionality are described. In one or more implementations, the techniques describe gestures that are usable to provide inputs to a computing device. A variety of different gestures are contemplated, including bimodal gestures (e.g., using more than one type of input) and single modal gestures. Additionally, the gesture techniques may be configured to leverage these different input types to increase the amount of gestures that are made available to initiate operations of a computing device. | 2011-07-28 |
20110185319 | VIRTUAL PIN PAD FOR FUEL PAYMENT SYSTEMS - A method and system for displaying a virtual PIN pad in varying locations on a touch screen in order to prevent fraud or the interception of personal identification numbers. | 2011-07-28 |
20110185320 | Cross-reference Gestures - Techniques involving gestures and other functionality are described. In one or more implementations, the techniques describe gestures that are usable to provide inputs to a computing device. A variety of different gestures are contemplated, including bimodal gestures (e.g., using more than one type of input) and single modal gestures. Additionally, the gesture techniques may be configured to leverage these different input types to increase the amount of gestures that are made available to initiate operations of a computing device. | 2011-07-28 |
20110185321 | Device, Method, and Graphical User Interface for Precise Positioning of Objects - A method includes, at a computing device with a touch-sensitive display: displaying a user interface object on the touch-sensitive display; detecting a contact on the user interface object; while continuing to detect the contact on the user interface object: detecting an M-finger gesture, distinct from the contact, in a first direction on the touch-sensitive display, where M is an integer; and, in response to detecting the M-finger gesture, translating the user interface object a predefined number of pixels in a direction in accordance with the first direction. | 2011-07-28 |
20110185322 | METHOD OF IN-PROCESS INTRALAYER YIELD DETECTION, INTERLAYER SHUNT DETECTION AND CORRECTION - A system and method for in-process yield evaluation and correction in an array type of device are provided. The system and method include measuring electrical resistance between individual GATE lines, DATA lines, a DATA bus I/O pad, and a GATE bus I/O pad; and analyzing the measured electrical resistance to identify at least one of the following: GATE line open defects, GATE line bridge defects, DATA line open defects, DATA line bridge defects, and interlayer shunt defects. | 2011-07-28 |
20110185323 | Stacked Integracted Circuit Verification - Techniques for performing physical verification processes for stacked integrated circuit devices. An interface between a first two-dimensional integrated circuit device and a second two-dimensional integrated circuit device is identified. The design data for the identified layers in the first and second two-dimensional integrated circuit devices are then combined and physically verified as a single set of interface design data. The design data for the first two-dimensional integrated circuit device and the second two-dimensional integrated circuit device are then separately physically verified. Once the interface design data, the first two-dimensional integrated circuit device design data and the second two-dimensional integrated circuit device design data have been physically verified, the verified design can be recombined to form verified design data corresponding to a stacked integrated circuit device. | 2011-07-28 |
20110185324 | METHOD AND APPARATUS FOR CALIBRATING A PHOTOLITHOGRAPHY PROCESS MODEL BY USING A PROCESS WINDOW PARAMETER - One embodiment of the present invention relates to a system that calibrates a photolithography process model. During operation, the system receives a process model which models a photolithography process. The system further receives measured critical dimension (CD) values for a first set of features that were printed by applying the photolithography process to a layout. The system then calibrates the process model using the measured CD values so that CD values predicted by the process model substantially match the measured CD values, and depth of focus (DOF) values predicted by the process model for a second set of features are substantially maximized. | 2011-07-28 |
20110185325 | Navigating Analytical Tools Using Layout Software - A background process is used to install at least one system hook for message interception of integrated circuit chip layout display software. A call message is intercepted through the system hook, and, responsive to the call message, current layout coordinates are read from the integrated circuit chip layout display software. A representation of the current layout coordinates is entered into tool control software configured to control a physical tool for analyzing integrated circuits, and the physical tool is controlled with the tool control software, based on the representation of the current layout coordinates. In an “inverse” approach, a background process is used to install at least one system hook for message interception of tool control software configured to control a physical tool for analyzing integrated circuits, and a call message is intercepted through the system hook. Responsive to the call message, current coordinates are read from the tool control software. A representation of the current coordinates is entered into integrated circuit chip layout display software, and at least a portion of an integrated circuit layout, corresponding to the representation of the current coordinates from the tool control software, is displayed. | 2011-07-28 |
20110185326 | NET LIST GENERATION METHOD AND CIRCUIT SIMULATION METHOD - Disclosed is a net list generation method of generating a net list based on layout data; stress map data indicating stress distribution on a silicon chip, the stress being generated due to packaging of the silicon chip; and standard curve data indicating a relationship between the stress and characteristic variation of a device. The method includes the steps of reading data items from the layout data; reading a value of stress at the position of the device from the stress map data; reading the characteristic variation of the device, the characteristic variation corresponding to the value of the stress, from the standard curve data corresponding to the device; and correcting characteristics of the device based on the characteristic variation. | 2011-07-28 |
20110185327 | DELAY CALCULATING METHOD IN SEMICONDUCTOR INTEGRATED CIRCUIT - An input pin capacitance of a cell is obtained in advance in a function expression, and a delay is calculated in such manner that the input pin capacitance is calculated in functions of an input slew and a drive load capacitance in each instance. In a cell characterizing process, a total volume of a current running into an input terminal before a voltage value of the input terminal reaches a reference voltage is obtained so that a value approximate to a real input pin capacitance can be obtained. | 2011-07-28 |
20110185328 | System and Method for Circuit Design Floorplanning - Circuit floorplanning is performed on a combination central processing unit and multiprocessor. A B*-tree data structure of a floorplan and circuit related constants reside in a central processing unit data storage. The B* tree structure of a floorplan along and said circuit related constants are copied to a multiprocessor data storage where multiple thread blocks, each consisting of a single thread, copy the tree to their own shared memories. The multiprocessor concurrently evaluates different moves in different thread blocks. The multiprocessor then evaluates objective function results and stores those results. The best result for floorplanning is selected from the multiple circuit evaluations. | 2011-07-28 |
20110185329 | GENERATING AND USING ROUTE FIX GUIDANCE - Some embodiments of the present invention provide systems for generating and using a route fix guidance for fixing design rule violations. A route fix guidance includes information that enables a router to locally modify a routing solution to fix one or more design rule violations. A route fix guidance can include a set of two or more metal avoidance areas, wherein avoiding any one of the set of two or more metal avoidance areas during routing fixes the design rule violation. Additionally, a route fix guidance can specify a set of rectangles to remove from a routing solution, and a set of rectangles to insert into or add to a routing solution. Further, the route fix guidance can include information for moving one or more vias to new locations in the routing solution. The route fix guidance can specify a sequence in which the local modifications are to be made. | 2011-07-28 |
20110185330 | METAL WIRING STRUCTURE FOR INTEGRATION WITH THROUGH SUBSTRATE VIAS - An array of through substrate vias (TSVs) is formed through a semiconductor substrate and a contact-via-level dielectric layer thereupon. A metal-wire-level dielectric layer and a line-level metal wiring structure embedded therein are formed directly on the contact-via-level dielectric layer. The line-level metal wiring structure includes cheesing holes that are filled with isolated portions of the metal-wire-level dielectric layer. In one embodiment, the entirety of the cheesing holes is located outside the area of the array of the TSVs to maximize the contact area between the TSVs and the line-level metal wiring structure. In another embodiment, a set of cheesing holes overlying an entirety of seams in the array of TSVs is formed to prevent trapping of any plating solution in the seams of the TSVs during plating to prevent corrosion of the TSVs at the seams. | 2011-07-28 |
20110185331 | Reducing Voltage Drops in Power Networks Using Unused Spaces in Integrated Circuits - A method of designing an integrated circuit includes providing an integrated circuit design including a power network. A voltage drop mitigation system is provided, which includes a power strap enhancer configured to automatically find a source node and a terminal node in the power network. A redundant strap for the power network using the voltage drop mitigation system is added, wherein the redundant strap interconnects the source node and the terminal node. After the step of adding the redundant strap, dummy patterns may be added. | 2011-07-28 |
20110185332 | MODEL BASED SIMULATION AND OPTIMIZATION METHODOLOGY FOR DESIGN CHECKING - A method, apparatus and program product are provided for simulating a circuit. A plurality of elements of the circuit is represented by device models including pass/fail criteria. A circuit simulation program is executed on a hardware implemented processor where the circuit simulation program is configured to obtain simulation results from the device models in response to applied parameters. The circuit simulation program identifies a failure of one or more of the plurality of elements of the circuit based on the pass/fail criteria of the device models. The circuit simulation program is further configured to output the failures during simulation of the one or more of the plurality of elements that are identified in response to the applied parameters. | 2011-07-28 |
20110185333 | GLOBAL LEAKAGE POWER OPTIMIZATION - Some embodiments provide techniques and systems for optimizing a circuit design's global leakage power. During operation, the system can determine leakage potentials for logic gates in the circuit design, such that a logic gate's leakage potential indicates an amount or degree by which the logic gate's leakage power is decreasable. The system can then determine a processing order for processing the logic gates based at least on the leakage potentials. Next, the system can optimize the circuit design's leakage power by attempting to decrease leakage power of logic gates according to the processing order. | 2011-07-28 |
20110185334 | ZONE-BASED LEAKAGE POWER OPTIMIZATION - A leakage power optimization system optimizes leakage power of a circuit design which includes a set of logic gates. The system selects a leakage-power-reducing transformation for a logic gate, and determines a zone around the logic gate. This zone includes logic gates within a first predetermined number of levels in the logic gate's fan-out, the logic gate's fan-in, and a second predetermined number of levels in the logic gate's fan-in's fan-out. The system propagates arrival times within the zone to obtain updated slack values at endpoints of the zone. Then, in response to determining that the updated slack values at the endpoints of the zone do not degrade one or more circuit timing metrics, the system applies the leakage-power-reducing transformation to the logic gate. | 2011-07-28 |
20110185335 | DETERMINING AN ORDER FOR VISITING CIRCUIT BLOCKS IN A CIRCUIT DESIGN FOR FIXING DESIGN REQUIREMENT VIOLATIONS - Some embodiments of the present invention provide techniques and systems for determining an order for visiting circuit blocks of a circuit design for fixing design requirement violations. Fixing design requirement violations by visiting circuit blocks in this order can improve performance and quality of results. During operation, a system can determine a set of equal value segments in the circuit design. In some embodiments, the system determines equal value segments for multiple corners and combines the equal value segments to obtain the set of equal value segments. Next, the system can determine an order for visiting circuit blocks of the circuit design for fixing design requirement violations based at least on the set of equal value segments. Note that circuit block pins in an equal value segment are associated with the same parameter value, and parameter values indicate an amount or degree of a design requirement violation. | 2011-07-28 |
20110185336 | IMPEDANCE DESIGN METHOD - The invention discloses an impedance design method for a power network of a core chip within a chipset having N input/output (I/O) ports coupled to a voltage source which have an observation I/O port. The method includes calculating a first set of impedances at a predetermined frequency or the observation I/O port, if the voltage source is internally coupled to the N I/O ports within the chipset, and calculating a second set of impedances at the predetermined frequency for the observation I/O port, if the voltage source is externally coupled to the N I/O ports through a carrier coupling the core chip to the voltage source. The first set of impedances to the second set of impedances are compared, and the impedance of the power network or the impedance of the carrier is adjusted according to the comparison result. | 2011-07-28 |
20110185337 | METHODOLOGY FOR STORING AND UPDATING ON-CHIP REVISION LEVEL - Logic to indicate a revision level includes multiple cells for one bit of the revision level. The cells being wired to be a pass-through cell or a swap cell during fabrication. At least some of the cells are such that to change the bit of the revision level, it is sufficient to change any single mask of a group of masks. The change to the single mask switches at least one of the cells from pass-through cell to a swap cell, or vice-versa. | 2011-07-28 |
20110185338 | DESIGN-TIME BUSINESS PROCESS VALIDATIONS WITHIN DATA CONTEXT - Validating executable data for interactions among a plurality of process artifacts at design time. A data context is created to include the plurality of process artifacts. The data context carries interaction rules among the plurality of process artifacts. The executable data from a data source is associated with the plurality of process artifacts in the created data context. A subset of the interaction rules is selected corresponding to at least one of the plurality of process artifacts. The associated executable data is validated when the associated executable data is in accordance with the selected subset of the interaction rules. | 2011-07-28 |
20110185339 | AUTOMATING THE CREATION OF AN APPLICATION PROVISIONING MODEL - An application provisioning model is automatically created. The model is created from a high-level application and specifies dependencies of the application. It is used to provision the application on one or more nodes or other actions. | 2011-07-28 |
20110185340 | SOFTWARE MODELING FRAMEWORK - A system and method for providing a software modeling framework which supports different types of dependency injection and other software modeling or software development frameworks, and which allows software developers to develop models that strategically layer different components for different implementations. A service provider interface (SPI) enables different DI frameworks to be incorporated into the system; while an application provider interface (API) enable machines or implementations to be constructed. Extenders can be modeled so that, for example a particular bundle requires a handler for a particular configuration manifest entry; while a particular module provides handling of that manifest entry. | 2011-07-28 |
20110185341 | OPTIMIZING BOUNDS CHECKING USING COMPUTER ALGEBRA - Some embodiments of the present invention provide techniques and systems for optimizing bounds-checking During operation, the system can receive one or more instructions which when executed evaluate a first expression whose value is required to be between a lower bound expression's value and an upper bound expression's value, such that at least one of the following three values is not determinable before execution: the first expression's value, the lower bound expression's value, and the upper bound expression's value. Next, the system can use computer algebra to determine whether the first expression's value is guaranteed to be between the lower bound expression's value and the upper bound expression's value. If the system determines that the first expression's value is not guaranteed to be between the lower bound expression's value and the upper bound expression's value, the system can add bounds-checking instructions to the one or more instructions. | 2011-07-28 |
20110185342 | APPLIANCE DEVELOPMENT TOOLKIT - An appliance development toolkit ( | 2011-07-28 |
20110185343 | CONVERSATIONAL PROGRAMMING - Methods and systems for providing rich semantic feedback to programmers by executing programs, or parts of programs, in data contexts relevant to the programmer are provided. According to one embodiment, a method is provided for communicating semantic information to a programmer. A conversational programming agent of a programming environment receives (i) information regarding multiple programming building blocks and (ii) information indicative of a current situation relating to the programming building blocks. The conversational programming agent evaluates the programming building blocks based on the current situation. Then, the conversational programming agent provides semantic feedback regarding the programming building blocks to the programmer based on results of the evaluation. | 2011-07-28 |
20110185344 | CHARACTERIZING ARTIFICIALITY IN OBJECT CODE - One embodiment of the present invention provides a system that characterizes content in object code. During operation, the system receives the source code of a program. The system also receives one or more pieces of object code of the program, or creates one or more pieces of object code from the source code. Next, the system identifies a construct in the object code. The system then determines whether the construct is physically present in the source code. If the construct is not physically present, the system determines whether the construct is logically present in the source code, wherein a construct is logically present if it is required by the programming language. If so, the system sets a construct flag to indicate that the construct is “synthesized.” However, if not, the system sets the construct flag to indicate that the construct is “synthetic.” Finally, the construct flag is made available to a reflective API. | 2011-07-28 |
20110185345 | Type-Preserving Compiler for Security Verification - Described is a source program code language that facilitates the association of security proofs obtained from a solver (e.g., a Z3 theorem prover) with the program code. The code may include affine types, dependent types and/or refinement types. A derefinement procedure replaces each refinement type with a dependent pair type corresponding to the proof. A target code type checker verifies the target code with respect to the security policies. If verified as complying with security policy, a verified program corresponding to the translated program may then be installed and run. | 2011-07-28 |
20110185346 | AUTOMATED BUILDING AND RETARGETING OF ARCHITECTURE-DEPENDENT ASSETS - Architecture-dependent assets are automatically built and retargeted. An asset originally built for one architecture is downloaded and automatically retargeted on another architecture. This automatically retargeting may be performed on demand, at runtime. | 2011-07-28 |
20110185347 | METHOD AND SYSTEM FOR EXECUTION PROFILING USING LOOP COUNT VARIANCE - A method for executing a computer program involving obtaining a statement of the source code, where the statement comprises a method call, and where the source code is composed in a statically-typed programming language. The method also involves, upon entry into a loop included in the computer program: incrementing an entry counter by one; and, for each iteration of the loop, incrementing an iteration counter by one, incrementing a local counter by one to obtain an incremented value of the local counter, incrementing a summation variable by the incremented value of the local counter, and executing the iteration of the loop. | 2011-07-28 |
20110185348 | METHOD AND SYSTEM FOR DEPLOYING NON-BACKWARD COMPATIBLE SERVER VERSIONS IN A CLIENT/SERVER COMPUTING ENVIRONMENT - A method and a system for managing the introduction of a new non-backward compatible version of an application server into a client/server networking, the method includes first distributing to a client system to be served by the new non-backward compatible version of the application server a client application operable in a mode compatible with the current version of the application server and in a mode compatible with the new non-backward compatible version. Upon installation in the client system the client application is set into a downgraded mode compatible with the current version of the application server. While the current version of the application server is still in production, the client application is kept operated in the downgraded mode. Upon introduction of the new non-backward compatible version of the application server, the client application is set into a valid mode compatible with the new version of the application server. From that point on, the client application is operated in the valid mode. | 2011-07-28 |
20110185349 | LAMP BALLAST CONFIGURED TO OPERATE IN A SELF-FORMING NETWORK - A lamp ballast for a ballast system having a client device includes a lamp drive system, a control subsystem and a wireless communication subsystem. The lamp drive system delivers power to a lamp. The control subsystem controls operation of the lamp drive system. The wireless communication subsystem includes an embedded web server configured to display information on the client device indicative of a status of the lamp ballast. The embedded web server can generate a web page interface on the client device so that the client device can send a control signal to the control subsystem. The lamp ballast can receive information such as a status of a plurality of ballasts from a network of ballasts and can provide the information to the client device. The lamp ballast can receive a control signal from the client device and can pass the control signal to at least one of the plurality of ballasts in the network of ballasts. The wireless communication subsystem can broadcast the web page interface to the client through a plurality of different paths. | 2011-07-28 |
20110185350 | SHARED-PROGRAM UPDATING SYSTEM - A shared-program updating system for updating a shared program that is loaded in a memory and is dynamically linked to and shared by other programs, includes an update processing unit that updates a target shared program, which is shared by the other programs, and which is to be updated. The update processing unit includes 1) an updating access control section that directs each of a plurality of using programs, serving as the other programs that access the target shared program, to stop accessing the target shared program and, after the target shared program is updated, allows the using program to resume accessing the target shared program, and 2) an updating section that updates the target shared program after the using program has stopped accessing the target shared program. | 2011-07-28 |
20110185351 | METHOD AND SYSTEM FOR IDENTIFYING AND OBTAINING COMPUTER SOFTWARE FROM A REMOTE COMPUTER - Creators of computer software provide the most up-to-date versions of their computer software on an update service. A user who has purchased computer software calls the update service on a periodic basis. The update service automatically inventories the user computer to determine what computer software may be out-of-date, and/or need maintenance updates. If so desired by the user, the update service computer automatically downloads and installs computer software to the user computer. By making periodic calls to the update service, the user always has the most up-to-date computer software immediately available. The update service may also alert the user to new products (i.e. including new help files, etc.), and new and enhanced versions of existing products, which can be purchased electronically by a user from the update service. | 2011-07-28 |
20110185352 | BUILDING PACKAGES OF FUNCTIONALLY DIFFERENT PROGRAMS FROM SOURCE CODE OF A SINGLE PROGRAM - Build-result packages are created for functionally different programs from a source code package of a single program. | 2011-07-28 |
20110185353 | Mitigating Problems Arising From Incompatible Software - A method and apparatus for mitigating problems arising from incompatible software is described herein. In one embodiment, a process can be provided to obtain, from an external source, an incompatibility list. The incompatibility list can identify non-priority software incompatible with priority software to be installed or already installed on a system. A determination can be made as to whether the non-priority software from the incompatibility list resides on the system. The process can automatically quarantine one or more files associated with the non-priority software identified in the incompatibility list and which reside on the system. | 2011-07-28 |