Inventors list |
Assignees list |
Classification tree browser |
Top 100 Inventors |
Top 100 Assignees |
Abadi
Aharon Abadi, Jerusalem IL
| Patent application number | Description | Published |
|---|---|---|
| 20110302566 | FIXING SECURITY VULNERABILITY IN A SOURCE CODE - A computer implemented method for automatically fixing a security vulnerability in a source code is disclosed. The method includes obtaining identification of code that sends tainted data to corresponding sink code in the source code; and automatically fixing the vulnerability by automatically performing code modification which is selected from the group of code modifications consisting of: code motion and code duplication. Also disclosed are computer program product and data processing system. | 12-08-2011 |
Aharon Abadi, City Eilat IL
| Patent application number | Description | Published |
|---|---|---|
| 20090248391 | Automated Many-Sorted Theorem prover - The present invention is a method for automatic proving using many-sorted first-order logic. Embodiments of the invention apply a modified method of resolution of first-ordered logic. The method of resolution further comprises: processing at least one first sentence (P | 10-01-2009 |
Aharon Abadi, Haifa IL
| Patent application number | Description | Published |
|---|---|---|
| 20110041123 | FINE SLICING: GENERATING AN EXECUTABLE BOUNDED SLICE FOR PROGRAM - A method for generating a fine slice for a program is provided. The method comprises receiving a set of slicing criteria, wherein the set of slicing criteria comprises one or more variable occurrences or control dependences; receiving a set of cut points, wherein the set of cut points comprises one or more variable occurrences or control dependences; and generating a slice according to the set of slicing criteria and the set of cut points. The generated slice includes statements related to computation of values for the set of slicing criteria and excludes statements related to computation of values for the set of cut points. Missing information is added to the slice so that the slice is executable. | 02-17-2011 |
| 20110055803 | PLAN-BASED PROGRAM SLICING - A method for generating a slice from a plan-based representation of a program is provided. The method comprises constructing a plan representation of a program, wherein the plan representation comprises a plurality of nodes, edges, and ports; and receiving one or more slicing criteria from a user. The slicing criteria comprise one or more variable occurrences or statements from the program, according to which a slice is generated from the plan representation. | 03-03-2011 |
Ali Dehghani Mohammad Abadi, Campbell, CA US
| Patent application number | Description | Published |
|---|---|---|
| 20090176778 | Certain nitrogen containing bicyclic chemical entities for treating viral infections - Provided are certain chemical entities, pharmaceutical compositions, and methods of treatment of a member of the flaviviradae family of viruses such as hepacivirus (Hepatitis C or HCV). | 07-09-2009 |
| 20100004441 | N-(5-Membered Aromatic Ring)-Amido Anti-Viral Compounds - Disclosed are compounds having Formula (I) and the compositions and methods thereof for treating or preventing a viral infection mediated at least in part by a virus in the Flaviviridae family of viruses, wherein A, R | 01-07-2010 |
Daniel Abadi, Sudbury, MA US
| Patent application number | Description | Published |
|---|---|---|
| 20110302151 | Query Execution Systems and Methods - System, method, and computer program product for processing data are disclosed. The method includes receiving a query for processing of data, wherein the data is stored in a table in a plurality of tables, wherein the table is stored on at least one node within the database system, determining an attribute of the table and another table in the plurality of tables, partitioning one of the table and the another table in the plurality of tables using the determined attribute into a plurality of partitions, and performing a join of at least two partitions of the table and the another table using the determined attribute. The join is performed on a single node in the database system. | 12-08-2011 |
| 20110302226 | DATA LOADING SYSTEMS AND METHODS - System, method, and computer program product for processing data are disclosed. The system is configured to perform transfer of data from a file system to a database system. Such transfer is accomplished through receiving a request for loading data into a database system, wherein the data includes a plurality of attributes, determining at least one attribute of the data for loading into the database system, and loading the at least one attribute of the data into the database system while continuing to process remaining attributes of the data. | 12-08-2011 |
| 20110302583 | SYSTEMS AND METHODS FOR PROCESSING DATA - A system, method, and computer program product for processing data are disclosed. The system includes a data processing framework configured to receive a data processing task for processing, a plurality of database systems coupled to the data processing framework, wherein the database systems are configured to perform a data processing task, and a storage component in communication with the data processing framework and the plurality database systems, configured to store information about each partition of the data processing task being processed by each database system and the data processing framework. The data processing task is configured to be partitioned into a plurality of partitions and each database system is configured to process a partition of the data processing task assigned for processing to that database system. Each database system is configured to perform processing of its assigned partition of the data processing task in parallel with another database system processing another partition of the data processing task assigned to the another database system. The data processing framework is configured to perform at least one partition of the data processing task. | 12-08-2011 |
Martin Abadi, California, CA US
| Patent application number | Description | Published |
|---|---|---|
| 20100070727 | Transactional Memory System - A transactional memory system is described for reporting memory access violations which occur when memory accesses made from instructions within a transaction conflict with memory accesses to the same memory location made from a non-transactional instruction. In an embodiment this is achieved by creating two mappings of a physical heap being used by a thread. The thread (which may be part of a multi-threaded process) comprises instructions for both transactional and non-transactional accesses to the physical heap which may execute concurrently as part of that thread. One of the mappings is used for non-transactional memory accesses to the physical heap. The other mapping is used for transactional memory accesses to the physical heap. Access permissions associated with the mappings are controlled to enable attempted memory access violations to be detected and reported. | 03-18-2010 |
Nir Abadi, Haifa IL
| Patent application number | Description | Published |
|---|---|---|
| 20100319117 | TOILET FLUSHING WITHOUT USING A TOILET TANK - A toilet bowl system comprising an electric spigot, an electric valve, and a control unit for controlling said electric spigot and said electric valve, and for operatively synchronizing said electric spigot with said electric valve. | 12-23-2010 |
Shlomo Abadi, Pardes Hana IL
| Patent application number | Description | Published |
|---|---|---|
| 20110167565 | SUPPORT SURFACE ASSEMBLY AND TENSIONING METHOD FOR A SLEEPING PERSON - A support surface assembly for a sleeping person that comprises a rigid frame with an upper edge for supporting an air-permeable layer and an air-permeable layer that is fixedly joined to the upper edge in a desired tension, such that the upper edge is entirely covered by the outer perimeter of the air-permeable layer. The air-permeable layer comprises a lattice grid structure such as a mesh material, a netting or a web-like material. The outer perimeter of the air-permeable layer is joined to the frame at the side wall or at the bottom wall of the frame. | 07-14-2011 |