Inventors list |
Assignees list |
Classification tree browser |
Top 100 Inventors |
Top 100 Assignees |
Geist
Daniel Geist, Haifa IL
| Patent application number | Description | Published |
|---|---|---|
| 20100324881 | SATISFIABILITY (SAT) BASED BOUNDED MODEL CHECKERS - A method uses a SAT solver operating to cycle k to find bugs in a model having finite computation paths therein, wherein said bugs are on computation paths of less than length k. Another method includes adding an additional state variable to a model to be checked, where a governing state machine of the additional variable has a “sink” state. The method includes having a translation using the additional variable whenever a state indicates a bad state and performing satisfiability solving with the model and the translation. | 12-23-2010 |
Joshua B. Geist, Toronto CA
| Patent application number | Description | Published |
|---|---|---|
| 20090254642 | SYSTEM AND METHOD FOR PROVIDING DATA AND APPLICATION CONTINUITY IN A COMPUTER SYSTEM - A system and method for providing or maintaining data and application continuity in a computer system. According to an embodiment, the system comprises a communication interface for a client system, a network layer for receiving data from the client system, a hardware infrastructure for creating instances of the client system for replicating data, and an applications module for executing one or more applications on the replicated data. According to a further aspect, the system includes a portal interface configured for providing a remote user with control, audit and other functions associated with the user's system configuration. | 10-08-2009 |
| 20110106756 | SYSTEM AND METHOD FOR PROVIDING DATA AND APPLICATION CONTINUITY IN A COMPUTER SYSTEM - A system and method for providing or maintaining data and application continuity in a computer system. According to an embodiment, the system comprises a communication interface for a client system, a network layer for receiving data from the client system, a hardware infrastructure for creating instances of the client system for replicating data, and an applications module for executing one or more applications on the replicated data. According to a further aspect, the system includes a portal and user interface configured for providing a remote user with control, audit and other functions associated with the user's system configuration. According to another aspect, the portal and user interface provides access and control based on user privileges for a multi-tenant, multi-instant architecture or configuration. | 05-05-2011 |
Michel Geist, Brumath FR
| Patent application number | Description | Published |
|---|---|---|
| 20110081353 | ANTIBODY AGAINST THE CSF-1 R - The present invention provides antibodies specific for the CSF-1R, compositions comprising said antibodies and methods of treatment using such compositions. | 04-07-2011 |