Alexander Tomlinson
Alexander Tomlinson
Micron Technology
Verifierad e-postadress på aivor.com
TitelCiteras avÅr
System and method for dynamically constructing packet classification rules
DJ Cox, AI Tomlinson, J Dempsey, MC Laswell, S Strentzsch, S Egbert, ...
US Patent 7,239,639, 2007
77*2007
Detecting relational global predicates in distributed systems
AI Tomlinson, VK Garg
Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed …, 1993
631993
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
591994
An algorithm for minimally latent global virtual time
AI Tomlinson, VK Garg
Proceedings of the seventh workshop on Parallel and distributed simulation …, 1993
491993
Monitoring functions on global states of distributed programs
AI Tomlinson, VK Garg
Journal of Parallel and Distributed Computing 41 (2), 173-189, 1997
321997
Systems and methods for efficient memory access
AI Tomlinson, BA Cook, RS Canion
US Patent 9,075,735, 2015
292015
Systems and methods for managing memory
AI Tomlinson, BA Cook, RS Canion
US Patent App. 13/596,190, 2013
262013
Using induction to prove properties of distributed programs
VK Garg, AI Tomlinson
Proceedings of 1993 5th IEEE Symposium on Parallel and Distributed …, 1993
151993
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
131995
Network packet inspection flow management
RS Canion, AI Tomlinson
US Patent 8,756,337, 2014
82014
Shared rate limiters using floating buckets
RS Canion, AI Tomlinson
US Patent 8,000,244, 2011
72011
Observation of software for distributed systems with rcl
AI Tomlinson, VK Garg
International Conference on Foundations of Software Technology and …, 1995
71995
Maintaining global assertions on distributed systems
AI Tomlinson, VK Garg
Computer Systems and Education, 257-272, 1994
61994
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
51994
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
22016
Causality for Time: How to Specify and Verify Distributed Algorithms
VK Garg, AI Tomlinson
IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas, 1994
21994
Zero copy packet buffering using shadow sends
RS Canion, AI Tomlinson
US Patent 9,270,686, 2016
12016
Using the causal domain to specify and verify distributed programs
VK Garg, AI Tomlinson
Acta Informatica 34 (9), 667-686, 1997
11997
Observation and verification of software for distributed systems
AI Tomlinson
University of Texas at Austin, 1995
11995
Distributed resource management using active supervisory predicate control
AI Tomlinson, GM Hoagland, VK Garg
1992 American Control Conference, 2799-2803, 1992
11992
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20