Searching for authors named Patrick Lam – sorted by Relevance.
26 documents found, showing 1 through 10.
Next 10 →
-
Cellular Universal IP: A Low Delay Mobility Scheme based
- …Cellular Universal IP: A Low Delay Mobility Scheme based on Universal IP Addressing Patrick P. Lam…
- Cited by 1 (1 self) – Add To MetaCart
-
UDP-Liter: An Improved UDP Protocol for Real-Time Multimedia Applications over Wireless Links," The 1 st
- … Patrick Pak-kit Lam Department of Information Engineering Chinese University of Hong Kong Shatin, Hong…
- Cited by 1 (1 self) – Add To MetaCart
-
A type system and analysis for the automatic extraction and enforcement of design information
- … Patrick Lam Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology…
- Cited by 24 (0 self) – Add To MetaCart
-
Physical-layer network coding
- …Physical-Layer Network Coding Shengli Zhang, Soung-Chang Liew, Patrick P.Lam Dept. of Information…
- Cited by 3 (0 self) – Add To MetaCart
-
A Language for Role Specifications
- …A Language for Role Specications Viktor Kuncak, Patrick Lam, and Martin Rinard Laboratory…
- Cited by 3 (3 self) – Add To MetaCart
-
Roles Are Really Great!
- …! Viktor Kuncak, Patrick Lam, and Martin Rinard Laboratory for Computer Science Massachusetts Institute…
- Cited by 9 (6 self) – Add To MetaCart
-
On modular pluggable analyses using set interfaces
- …On Modular Pluggable Analyses Using Set Interfaces Patrick Lam, Viktor Kuncak, and Martin Rinard…
- Cited by 8 (5 self) – Add To MetaCart
-
Hob: A Tool for Verifying Data Structure Consistency
- …Hob: A Tool for Verifying Data Structure Consistency Patrick Lam, Viktor Kuncak, and Martin Rinard…
- Cited by 12 (8 self) – Add To MetaCart
-
Implications of a data structure consistency checking system
- …Implications of a Data Structure Consistency Checking System Viktor Kuncak, Patrick Lam, Karen Zee…
- Cited by 3 (1 self) – Add To MetaCart
-
Cross-cutting techniques in program specification and analysis
- …Crosscutting Techniques in Program Specification and Analysis ABSTRACT Patrick Lam, Viktor Kuncak…
- Cited by 14 (8 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
