Issued Patents All Time
Showing 1–22 of 22 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11954613 | Establishing a logical connection between an indirect utterance and a transaction | Mustafa Canim, Robert G. Farrell, Achille B. Fokoue-Nkoutche, John A. Gunnels, Ryan A. Musa | 2024-04-09 |
| 10832006 | Responding to an indirect utterance by a conversational system | Mustafa Canim, Robert G. Farrell, Achille B. Fokoue-Nkoutche, John A. Gunnels, Ryan A. Musa | 2020-11-10 |
| 10628740 | Asynchronous stochastic gradient descent | Sameer Kumar | 2020-04-21 |
| 10534862 | Responding to an indirect utterance by a conversational system | Mustafa Canim, Robert G. Farrell, Achille B. Fokoue-Nkoutche, John A. Gunnels, Ryan A. Musa | 2020-01-14 |
| 10171283 | Global production rules for distributed data | Matthew R. Arnold, Martin J. Hirzel, Avraham E. Shinnar, Jerome Simeon, Lionel A. Villard | 2019-01-01 |
| 9858159 | Fault tolerant distributed computation | Kiyokuni Kawachiya | 2018-01-02 |
| 9766950 | Methods for single-owner multi-consumer work queues for repeatable tasks | Maged M. Michael, Martin Vechev | 2017-09-19 |
| 9584358 | Global production rules for distributed data | Matthew R. Arnold, Martin J. Hirzel, Avraham E. Shinnar, Jerome Simeon, Lionel A. Villard | 2017-02-28 |
| 9547821 | Deep learning for algorithm portfolios | Andrea Loreggia, Yuri Malitsky, Horst Cornelius Samulowitz | 2017-01-17 |
| 9147373 | Transparent efficiency for in-memory execution of map reduce job sequences | David W. Cunningham, Benjamin Herta, Avraham E. Shinnar | 2015-09-29 |
| 9135083 | Methods for single-owner multi-consumer work queues for repeatable tasks | Maged M. Michael, Martin Vechev | 2015-09-15 |
| 8924946 | Systems and methods for automatically optimizing high performance computing programming languages | Ganesh Bikshandi, Krishna Nandivada Venkata, Igor Peshansky | 2014-12-30 |
| 8869155 | Increasing parallel program performance for irregular memory access problems with virtual data partitioning and hierarchical collectives | George S. Almasi, Guojing Cong, David J. Klepacki | 2014-10-21 |
| 8726238 | Interactive iterative program parallelization based on dynamic feedback | Evelyn Duesterwald, Robert M. Fuhrer | 2014-05-13 |
| 8266394 | Methods for single-owner multi-consumer work queues for repeatable tasks | Maged M. Michael, Martin Vechev | 2012-09-11 |
| 7275217 | System and method for multi-modal browsing with integrated update feature | VijayaBalaji Prasanna Uppaladadium, Rohitashva Mathur, Shirish Vaidya | 2007-09-25 |
| 5831853 | Automatic construction of digital controllers/device drivers for electro-mechanical systems using component models | Daniel G. Bobrow, Vineet Gupta | 1998-11-03 |
| 5701557 | Machine graphs and capabilities to represent document output terminals composed of arbitrary configurations | Marc Webster, Markus P. J. Fromherz, John C. Austin, Paul A. Rulli, Daniel L. McCue, III | 1997-12-23 |
| 5696893 | System for generically describing and scheduling operation of modular printing machine | Markus P. J. Fromherz, Marc Webster | 1997-12-09 |
| 5631740 | Transducers with constraints model for print scheduling | Marc Webster, John C. Austin, Daniel L. McCue, III, Markus P. J. Fromherz | 1997-05-20 |
| 5617214 | Commitment groups to generalize the scheduling of interdependent document output terminal capabilities | Marc Webster, Paul A. Rulli, Daniel L. McCue, III, Markus P. J. Fromherz | 1997-04-01 |
| 5504568 | Print sequence scheduling system for duplex printing apparatus | Daniel G. Bobrow, Markus P. J. Fromherz, Timothy G. Lindholm, Pierre C. Berlandier, John H. Conley | 1996-04-02 |