Alexander Tomlinson
Alexander Tomlinson
Micron Technology
Email verificata su aivor.com
Titolo
Citata da
Citata da
Anno
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
102*2007
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
661994
Detecting relational global predicates in distributed systems
AI Tomlinson, VK Garg
Proceedings of the 1993 ACM/ONR workshop on Parallel and distributedá…, 1993
661993
An algorithm for minimally latent global virtual time
AI Tomlinson, VK Garg
Proceedings of the seventh workshop on Parallel and distributed simulationá…, 1993
501993
Monitoring functions on global states of distributed programs
AI Tomlinson, VK Garg
Journal of Parallel and Distributed Computing 41 (2), 173-189, 1997
371997
Systems and methods for efficient memory access
AI Tomlinson, BA Cook, RS Canion
US Patent 9,075,735, 2015
302015
Systems and methods for managing memory
AI Tomlinson, BA Cook, RS Canion
US Patent App. 13/596,190, 2013
272013
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
151995
Using induction to prove properties of distributed programs
VK Garg, AI Tomlinson
Proceedings of 1993 5th IEEE Symposium on Parallel and Distributedá…, 1993
151993
Observation of software for distributed systems with rcl
AI Tomlinson, VK Garg
International Conference on Foundations of Software Technology andá…, 1995
101995
Maintaining global assertions on distributed systems
AI Tomlinson, VK Garg
Computer Systems and Education, 257-272, 1994
101994
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
Systems and methods multi-key access to data
AI Tomlinson, BA Cook
US Patent 8,996,533, 2015
62015
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
Causality for Time: How to Specify and Verify Distributed Algorithms
VK Garg, AI Tomlinson
IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas, 1994
31994
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
22016
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
Observation and verification of software for distributed systems
AI Tomlinson
University of Texas at Austin, 1995
21995
Zero copy packet buffering using shadow sends
RS Canion, AI Tomlinson
US Patent 9,270,686, 2016
12016
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20