Patent application number | Description | Published |
20100333069 | STATIC CODE ANALYSIS - Techniques for static code analysis are provided. The techniques include routing a code analysis request to a set of one or more static code analysis tools based on a context of the request, merging one or more tool-specific outputs of the code analysis, wherein merging the one or more tool-specific outputs comprises using one or more tool-specific mappings to one or more static code analysis abstractions and one or more source linkages of one or more static code analysis defects, performing a deep analysis on a set of one or more defect categories, and combining results of the merging with the deep analysis to filter out one or more false-positives and to add one or more new true positives to create an optimal set of defects. | 12-30-2010 |
20110029490 | Automatic Checkpointing and Partial Rollback in Software Transaction Memory - While speculatively executing a given one of a plurality of transactions concurrently executing on a computer, carry out write operations in a local data block, and automatically create an entry in a checkpoint log when reading from a shared memory. Continuously conflict check during read and tentative commit operations, and carry out a partial rollback upon detection of a conflict. The partial rollback is based upon the checkpoint log. | 02-03-2011 |
20130030857 | METHODS AND SYSTEMS FOR DYNAMICALLY FACILITATING PROJECT ASSEMBLY - Methods and arrangements for dynamically facilitating project assembly. A project plan with a chosen set of plan components is submitted and a cloud portal is queried for information on chosen plan components. Information on the chosen plan components is received from the cloud portal. Plan recommendations are generated based on the received information, and a recommended plan is selected. | 01-31-2013 |
20130030858 | DYNAMICALLY FACILITATING PROJECT ASSEMBLY - Methods and arrangements for dynamically facilitating project assembly. A project plan with a chosen set of plan components is submitted and a cloud portal is queried for information on chosen plan components. Information on the chosen plan components is received from the cloud portal. Plan recommendations are generated based on the received information, and a recommended plan is selected. | 01-31-2013 |
20130144872 | Semantic and Contextual Searching of Knowledge Repositories - A method for semantic and contextual searching over a knowledge repository. The method includes creating a search query for each concept related to the target concept to form a search context, wherein the search query for each related concept comprises at least one word derived from a record of that concept previously authored in the project, running the search query on a search index of a knowledge repository to identify a record of the related concept for which the search query is created, and fetching the record of the target concept from the repository as a search result such that the fetched record of the target concept is linked in the knowledge repository to a record of the related concept returned as a result of running the search query on at least one record of the at least one related concept. | 06-06-2013 |
20130144889 | Semantic and Contextual Searching of Knowledge Repositories - A system and an article of manufacture for semantic and contextual searching over a knowledge repository including creating a search query for each concept related to the target concept to form a search context, wherein the search query for each related concept comprises at least one word derived from a record of that concept previously authored in the project, running the search query on a search index of a knowledge repository to identify a record of the related concept for which the search query is created, and fetching the record of the target concept from the repository as a search result such that the fetched record of the target concept is linked in the knowledge repository to a record of the related concept returned as a result of running the search query on at least one record of the at least one related concept. | 06-06-2013 |
20130232476 | AUTOMATIC PIPELINE PARALLELIZATION OF SEQUENTIAL CODE - A system and associated method for automatically pipeline parallelizing a nested loop in sequential code over a predefined number of threads. Pursuant to task dependencies of the nested loop, each subloop of the nested loop are allocated to a respective thread. Combinations of stage partitions executing the nested loop are configured for parallel execution of a subloop where permitted. For each combination of stage partitions, a respective bottleneck is calculated and a combination with a minimum bottleneck is selected for parallelization. | 09-05-2013 |
20130275955 | CODE PROFILING OF EXECUTABLE LIBRARY FOR PIPELINE PARALLELIZATION - A system and associated method for creating a library method stub in source code form corresponding to an original library call in machine-executable form. Sequential code subject to pipeline-parallelization includes the original library call of which source code is not available for profiling. The original library call is annotated for a library method signature to specify formal arguments and parameters accessible to the formal arguments. Memory operations of the original library call are summarized with on one or more idiom sentences, which are mapped to a respective code stub that simulates the original library call. The library method stub is created for profiling of the original library call in source code level such that the sequential code is parallelized via the created library method stub. | 10-17-2013 |
20140149185 | Knowledge Management for Solution Design During Sales and Pre-Sales - Techniques, a system and an article of manufacture for designing integrated enterprise solutions. A method includes aggregating multiple work-products pertaining to solutions submitted in response to one or more previous solution requests, segmenting the multiple work-products into multiple segments based on content category, annotating each of the multiple segments with a tag based on one or more semantic associations with the content of each of the segments, adding each of the segments and each of the tags into a database, performing a search in the database to identify a set of one or more of the segments with at least one tag that corresponds to content of a current solution request, and ranking each of the segments in the set based on a degree of semantic matching with one or more parts of the current solution request. | 05-29-2014 |
20140324806 | EXTENDING DOCUMENT EDITORS TO ASSIMILATE DOCUMENTS RETURNED BY A SEARCH ENGINE - Methods and arrangements for configuring document editors. A search client add-in is loaded at a document editor. At the document editor, a document is accepted from a search engine. Communication is established between the search client add-in and the search engine. At the search client add-in, supplementary information about the document is received from the search engine. User input about the document is accepted, and is directed to the search engine. The document is informatively enhanced via at least one of: the supplementary information and the user input. Other variants and embodiments are broadly contemplated herein. | 10-30-2014 |
20150067663 | CODE PROFILING OF EXECUTABLE LIBRARY FOR PIPELINE PARALLELIZATION - A method and system for creating a library method stub in source code form corresponding to an original library call in machine-executable form. The library method stub is created in a predefined programming language by use of a library method signature associated with the original library call, at least one idiom sentence, and a call invoking the original library call. Creating the library method stub includes composing source code of the library method stub by matching the at least one idiom sentence with idiom-stub mappings predefined for each basic idiom of at least one basic idiom. The original library call appears in sequential code. The library method signature specifies formal arguments of the original library call. The at least one idiom sentence summarizes memory operations performed by the original library call on the formal arguments. The created library method stub is stored in a database. | 03-05-2015 |