Patent application number | Description | Published |
20080228679 | SYMBOLIC DEPTH-FIRST SEARCHES USING CONTROL FLOW INFORMATION FOR IMPROVED REACHABILITY ANALYSIS - Methods are provided for performing depth-first searches of concrete models of systems using control flow information of the system for improved reachability analysis. The concrete model's control structure and dependencies are extracted and an over-approximated (conservative) abstract control model is created. The abstract control model simulates the concrete model during model checking. Model checking the abstract control model produces execution traces based on the control paths of the concrete model. These execution traces may be used to guide a state space search on the concrete model during invariant checking to determine satisability of one or more selected invariants of the system. | 09-18-2008 |
20080282225 | VISUALIZATION OF INFORMATION USING LANDMASSES - The present invention relates to the visualization of complex information using a set of navigable landmasses. A method for generating a visualization of a programming code base using a set of navigable landmasses in accordance with an embodiment of the present invention includes: representing each of a plurality of different code components using a respective landmass; adjusting a size of each landmass based on a number of lines of code in the code component corresponding to the landmass; and displaying the landmasses. | 11-13-2008 |
20090119340 | FEDERATED INFORMATION MANAGEMENT - A method for management of federated information in associated knowledge systems. The method includes maintaining a data structure, the data structure including associative metadata that correlates a plurality of substantive knowledge entities from a plurality of disparate knowledge bases; monitoring the substantive knowledge entities for an access-limiting event; determining the access-limiting event on at least one of the substantive knowledge entities; and responsive to determining the access-limiting event, adding to the associative metadata a persistent audit enhancement indicative of the access-limiting event, the persistent audit enhancement including a timestamp. The access-limiting event may include deletion of a substantive knowledge entity, enacting more restrictive access permissions for a substantive knowledge entity, and copying of a substantive knowledge entity to a more restrictive access area. | 05-07-2009 |
20100017365 | Leveraging Multilevel Hierarchical Associations to Find Cross-Boundary Issues - A mechanism for locating information about a target entity in disparate multilevel hierarchical knowledge repositories. Upon occurrence of an event associated with a target entity comprising an information technology solution, disparate multilevel hierarchical knowledge repositories are searched for metadata about the target entity. A determination is made from the metadata about the target entity whether the repositories comprise entities related to the target entity. If so, links in the metadata are used to search the repositories to locate the related entities. Upon locating a resolution to the event in the repositories, a link to the resolution is stored in the metadata. The repositories are also searched to determine owners of the target entity and related entities, and these owners are then notified of the event and the resolution to the event. | 01-21-2010 |
20100017427 | Multilevel Hierarchical Associations Between Entities in a Knowledge System - A computer implemented method, data processing system, and computer program product for managing multilevel hierarchical structured information in disparate knowledge repositories. An association data structure is created for an entity as metadata in a metadata repository. The association data structure is populated with association information about the entity. A process data structure is created for the entity as metadata in the metadata repository. The process data structure is populated with process information about the entity. Information about a multi-phased process is then collected by extracting process information from each entity of the multi-phased process across the disparate knowledge repositories. The collected information comprising information about the multi-phased process is then stored in the process data structure in the metadata repository. | 01-21-2010 |
20100031229 | VISUALIZATION OF COMPLEX SYSTEMS USING BUILDINGS - The present invention relates to the visualization of a complex system such as a software offering using a set of buildings. A method for generating a visualization of a complex system using a set of buildings in accordance with an embodiment of the present invention includes: representing each of a plurality of complex systems using a respective set of buildings in a virtual city environment. The set of buildings in the virtual city environment is displayed. | 02-04-2010 |
20100058295 | Dynamic Test Coverage - Dynamic test coverage to evaluate an artifact code is provided. Code of an artifact to be tested is identified. The code coverage of the test code is analyzed. The current coverage information is stored. Code coverage information for one or more prior versions of the test code is retrieved. The current coverage information is compared with the prior coverage information. Responsive to a determination that a difference between the current coverage information and the prior coverage information exists, the difference is collected. Responsive to a determination that test cases are to be generated automatically, generating, automatically, new test cases based on the difference. The new test cases are stored. Code coverage of the test code is analyzed based on the new test case. The new coverage information is stored. The new coverage information is sent to the user. | 03-04-2010 |
20100114978 | Methodology for the Automatic Capture of Process Information in Federated Knowledge Systems - A mechanism for automatically managing process information stored in federated repositories. When practice requirements are collected for a multi-step process, a process metadata data structure comprising process information conforming to the practice requirements is created in a metadata repository. The structure is created by creating a template document for each task in the multi-step process and populating the template documents with the procedure information in the practice requirements. Hierarchical and horizontal associations are created among the template documents based on the execution order of the tasks in the procedure information. Process documents for each task in the multi-step process are created and populated with information about the tasks. The task information, procedure information, and association information for each task is then stored as metadata in the process metadata structure. | 05-06-2010 |
20110222091 | POSTSCRIPT STREAM INTERPRETER WITH INTEGRATED PAGINATION - Systems and methods presented herein provide for the processing of PostScript print jobs that are not DSC compliant. A single stream of a PostScript data is processed and divided into multiple streams (e.g., page objects), each comprising data operable to render an individual page. In one embodiment, a method includes receiving the PostScript data stream and identifying object tokens in the PostScript data stream. An object token is operable to generate a PostScript object or execute a PostScript operation. A portion of the object tokens may be operable to define page boundaries in the PostScript data stream. The method also includes analyzing the object tokens to parse the object tokens into a plurality of page objects, separating the page objects into a plurality of data paths, and parallel processing the page objects through the data paths to rasterize the PostScript data stream on a page by page basis. | 09-15-2011 |
20120314240 | SERIAL RASTER IMAGE PROCESSORS USED FOR ERROR CORRECTION IN A PARALLEL RASTER IMAGE PROCESSOR ENVIRONMENT - Systems and methods are provided for error correction in a parallel RIP environment. The system is operable to receive a print job comprising logical pages, to separate the logical pages into segments, to distribute the segments to parallel RIPs for interpretation and rasterization, and to transmit the segments to a serial RIP for interpretation. The system is further operable to determine that a parallel RIP has encountered a dependency error that prevents the parallel RIP from rasterizing one of the segments, and to instruct the serial RIP to rasterize the one segment responsive to detecting the dependency error. | 12-13-2012 |
20130010325 | PARALLEL RIP PROCESSING FOR SHEET IMAGES THAT INCLUDE GRAPHICS DEFINED BY A JOB TICKET - Systems and methods are provided for processing a logical page in parallel with graphics for the sheet that are defined in a job ticket. The system includes multiple parallel Raster Image Processors (RIPs) and a control system. The control system receives print data and a job ticket, identifies a graphic that is associated with a logical page and defined in the job ticket, and transmits the logical page to a parallel RIP for processing. The parallel RIP determines page dimensions from the logical page, transmits the page dimensions, and rasterizes the logical page. The control system determines a location for the graphic based upon the transmitted page dimensions, and directs another RIP to rasterize the graphic in order to generate a rasterized graphic in parallel with the RIP that is rasterizing the logical page. | 01-10-2013 |
20130016380 | RECOVERY FROM AN OUT OF STORAGE CONDITION AT A RIP SPOOL FOR STORING RASTER DATAAANM Johnson; Charles D.AACI BoulderAAST COAACO USAAGP Johnson; Charles D. Boulder CO USAANM Ward; DavidAACI BroomfieldAAST COAACO USAAGP Ward; David Broomfield CO USAANM Su; Yung-ChungAACI SuperiorAAST COAACO USAAGP Su; Yung-Chung Superior CO USAANM Morgan; Lisa A.AACI BlackfootAAST IDAACO USAAGP Morgan; Lisa A. Blackfoot ID US - Methods and systems herein provide for recovering from an out of storage condition at a rip spool for storing raster data. In one embodiment, a print controller receives a command to print multiple copies of a print job. The print controller buffers for rasterization multiple copies of print data for the print job, and determines if a rip spool has storage space available to store a complete rasterized version of the print job. If the rip spool does not have storage space available, then the print controller performs a rasterization process on the multiple copies of the print data for the print job, and provides multiple rasterized copies of the print job to a print engine. If the rip spool has storage space available, then the print controller performs a rasterization process on one copy of the print job and discards additional buffered copies of the print data. | 01-17-2013 |
20130021623 | PROCESSING MULTI-PAGE SEGMENTS IN A PARALLEL RIP ENVIRONMENT WITH A SERIAL RIP - Systems and methods are provided for error correction in a parallel RIP environment. The system comprises parallel RIPs and a serial RIP. The system receives a print job comprising logical pages, separates the print job into segments of logical pages, and distributes the segments to the parallel RIPs for interpretation and rasterization. The system further determines that a parallel RIP has encountered an error indicating that a segment includes multiple logical pages, and instructs the serial RIP to rasterize the segment responsive to detecting the error. | 01-24-2013 |
20130021636 | RESOLUTION OF OUT OF MEMORY CONDITIONS FOR SHARED MEMORY IN A PRINT CONTROLLER - Methods and systems herein provide for efficiently resolving how a rasterizer responds to out of memory conditions when attempting to write raster data to a solid state memory. In one embodiment, a print controller determines that the solid state memory is no longer available for storing raster data. The print controller determines that a process is utilizing the shared memory to complete an operation, where completing the operation frees up a portion of the solid state memory. The print controller suspends the rasterizer from writing raster data to a hard disk, and waits for the process to complete the operation. The print controller then instructs the rasterizer to resume writing raster data to the solid state memory. | 01-24-2013 |
20130044348 | LABELING INSERTED PAGES WITHIN PRINT PREVIEWS OF A PRINT JOB - Systems and methods are provided for labeling inserted pages within a print preview of a print job. The system receives print data comprising logical pages, and receives instructions for inserting pages among the logical pages of the print data. The system further receives a request for a print preview for the print data, identifies inserts for the print data based on the instructions, rasterizes the logical pages of the print data and the inserts to generate sheet images for the print preview, and includes non-printing marks in the sheet images for the inserts that distinguish the inserts from rasterized logical pages of the print data. The system further transmits the sheet images of the print preview. | 02-21-2013 |
20130050742 | ADAPTIVE RASTERIZED DATA MANAGEMENT FOR MULTI-MEMORY SYSTEMS - Systems and methods are provided for implementing adaptive rasterized print data management. The printing system is able to acquire a print job and instructions for printing multiple copies of the job. The control unit is also able to initiate processing of a first copy of the print job, to instruct a Raster Image Processor (RIP) to rasterize a data segment of the print job, and to determine a transfer time to transfer the rasterized data segment to a marking engine if it were stored at the first memory. Further, the control unit is able to determine a threshold value, and to facilitate storage of the rasterized data segment at the second memory if the transfer time is greater than the threshold value. | 02-28-2013 |
20130088746 | Mechanism for Previewing Secure Print Jobs - A computer generated method disclosed. The method includes receiving a print job data stream, determining if the print job data stream comprises a secure print job, and inserting a control operator to designate a secure print job data stream if the print job data stream comprises a secure print job. | 04-11-2013 |
20130198721 | VISUALIZATION OF INFORMATION USING LANDMASSES - The present invention relates to the visualization of complex information using a set of navigable landmasses. A method for generating a visualization of a programming code base using a set of navigable landmasses in accordance with an embodiment of the present invention includes: representing each of a plurality of different code components using a respective landmass; adjusting a size of each landmass based on a number of lines of code in the code component corresponding to the landmass; and displaying the landmasses. | 08-01-2013 |
20130222819 | MEDIA DETERMINATION FOR A PRINT JOB FROM A RASTERIZATION PROCESS - Methods and systems herein provide for identifying multiple types of media that will be used for print a print job by rasterizing raw print data for the print job. In one embodiment, a print controller receives a print job. The print controller identifies multiple types of media that will be utilized for printing the print job by rasterizing raw print data of the print job. The print controller generates a list of printable media that will be utilized for printing the job based on the multiple types of media that are identified. The print controller then provides the list of printable media to a print operator. | 08-29-2013 |
20130222842 | UTILIZING VIRTUALLY STORED MEDIA SNAPSHOTS FOR RASTERIZING PRINT JOBS - Methods and systems herein provide for the use of virtually stored media “snapshots” for rasterizing print jobs. In one embodiment, a print controller receives a print job. The print controller identifies a virtually stored media that specifies a media property utilized for rasterizing the print job, where the virtually stored media is associated with a media tray of a printer. The print controller identifies the media property specified by the virtually stored media, and rasterizes the print job based on the media property specified by the virtually stored media. | 08-29-2013 |
20140240787 | Mechanism for Applying Marks After Rasterization - A method is disclosed. The method includes performing rasterization of print job data to generate a raster image, reading a job ticket associated with the print job data including marking data that is to be added to the raster image and performing a second rasterization to apply the marking data to the raster image. | 08-28-2014 |
20140285833 | Virtual Page Generation Mechanism - A method is disclosed. The method includes performing a virtual rasterization of print job data to generate a virtual sheet, fitting the virtual sheet to a job sheet, and printing the job sheet to a physical medium. | 09-25-2014 |
20140325478 | VISUALIZATION OF COMPLEX SYSTEMS USING BUILDINGS - Provided herein are approaches for generating a visualization of software code using a set of buildings. Specifically, one approach comprises: representing software code using a set of buildings in a virtual city environment, wherein each building of the set of buildings represent a software solution; displaying the set of buildings in the virtual city environment; and displaying a plurality of floors and a plurality of rooms within each of the plurality of floors of the set of buildings, wherein each of the plurality of floors of a building of the set of buildings represents a software component of the software solution represented by the building, and wherein each of the plurality of rooms within each floor of the building represents a different version of the software component represented by the floor of the building. | 10-30-2014 |
20140362398 | Mechanism for Tracking Print Job Segments - A method is disclosed. The method includes printing a first print job, suspending the first print job to print a second print job, determining if the print job is to be resumed upon completion of printing of the second print job, generating a segment separator page corresponding to the first print job if the first print job is to be resumed and resuming printing of the first print job. | 12-11-2014 |