Self-sustaining artificially controllable environment within a storage container or other enclosed space AJ Helene, G Behrman US Patent 10,034,435, 2018 | 237* | 2018 |
On the fly testing of regular patterns in distributed computations E Fromentin, M Raynal, VK Garg, A Tomlinson 1994 Internatonal Conference on Parallel Processing Vol. 2 2, 73-76, 1994 | 68 | 1994 |
Detecting relational global predicates in distributed systems AI Tomlinson, VK Garg Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed …, 1993 | 68 | 1993 |
An algorithm for minimally latent global virtual time AI Tomlinson, VK Garg Proceedings of the seventh workshop on Parallel and distributed simulation …, 1993 | 59 | 1993 |
Monitoring functions on global states of distributed programs AI Tomlinson, VK Garg Journal of Parallel and Distributed Computing 41 (2), 173-189, 1997 | 46 | 1997 |
Systems and methods for managing memory AI Tomlinson, BA Cook, RS Canion US Patent App. 13/596,190, 2013 | 45 | 2013 |
Systems and methods for efficient memory access AI Tomlinson, BA Cook, RS Canion US Patent 9,075,735, 2015 | 43 | 2015 |
Expressing and detecting control flow properties of distributed computations VK Garg, A Tomlinson, E Fromentin, M Raynal Proceedings. Seventh IEEE Symposium on Parallel and Distributed Processing …, 1995 | 19 | 1995 |
Network packet inspection flow management RS Canion, AI Tomlinson US Patent 8,756,337, 2014 | 16 | 2014 |
Using induction to prove properties of distributed programs VK Garg, AI Tomlinson Proceedings of 1993 5th IEEE Symposium on Parallel and Distributed …, 1993 | 15 | 1993 |
Maintaining global assertions on distributed systems AI Tomlinson, VK Garg University of Texas at Austin, 1992 | 11 | 1992 |
Observation of software for distributed systems with rcl AI Tomlinson, VK Garg International Conference on Foundations of Software Technology and …, 1995 | 10 | 1995 |
Application identification and dynamic signature generation for managing network communications RS Clifton, AI Tomlinson, D Datta, JB Moss, DJ Cox US Patent 9,386,103, 2016 | 8 | 2016 |
Shared rate limiters using floating buckets RS Canion, AI Tomlinson US Patent 8,000,244, 2011 | 8 | 2011 |
Systems and methods multi-key access to data AI Tomlinson, BA Cook US Patent 8,996,533, 2015 | 7 | 2015 |
Methods and systems for using keywords preprocessing, Boyer-Moore analysis, and hybrids thereof, for processing regular expressions in intrusion-prevention systems JD Preston, AI Tomlinson US Patent 9,270,641, 2016 | 4 | 2016 |
Causality versus time: how to specify and verify distributed algorithms VK Garg, AI Tomlinson Proceedings of 1994 6th IEEE Symposium on Parallel and Distributed …, 1994 | 4 | 1994 |
Zero copy packet buffering using shadow sends RS Canion, AI Tomlinson US Patent 9,270,686, 2016 | 2 | 2016 |
Using the causal domain to specify and verify distributed programs VK Garg, AI Tomlinson Acta Informatica 34, 667-686, 1997 | 1 | 1997 |
Observation and verification of software for distributed systems AI Tomlinson The University of Texas at Austin, 1995 | 1 | 1995 |