Searching for authors named "George Porter" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Effective Web Service Loadbalancing through Statistical Monitoring
- …Effective Web Service Loadbalancing through Statistical Monitoring George Porter Computer Science…
- Cited by 1 (0 self) – Add To MetaCart
-
A Commuting Diagram Relating Threaded and Non-threaded JVM Models
- …A Commuting Diagram Relating Threaded and Non-threaded JVM Models George M. Porter Primary Adviser…
- Add To MetaCart
-
A Commuting Diagram Relating Threaded and Non-threaded JVM Models
- …A Commuting Diagram Relating Threaded and Non-threaded JVM Models George M. Porter Faculty Adviser…
- Cited by 3 (1 self) – Add To MetaCart
-
Proving Properties of Java Threads
- …Proving Properties of Java Threads J Strother Moore George Porter y November 12, 2000 Abstract…
- Cited by 1 (1 self) – Add To MetaCart
-
An Executable Formal Java Virtual Machine Thread Model
- …An Executable Formal Java Virtual Machine Thread Model J Strother Moore George Porter y October…
- Cited by 4 (1 self) – Add To MetaCart
-
The Apprentice Challenge
- …The Apprentice Challenge J. STROTHER MOORE and GEORGE PORTER University of Texas at Austin We…
- Cited by 19 (8 self) – Add To MetaCart
-
Formal Models of Java at the JVM Level A Survey from the ACL2 Perspective
- … Krug Hanbing Liu George Porter Department of Computer Sciences, University of Texas at Austin moore…
- Cited by 13 (2 self) – Add To MetaCart
-
Sinauer Associates
- …, 78712 moore@(email omitted); George M. Porter Department of Computer Sciences University of Texas at Austin…
- Cited by 3 (0 self) – Add To MetaCart
-
The Chord Ad-hoc Routing Protocol
- …The Chord Ad-hoc Routing Protocol George Porter, Kevin Lai, Ion Stoica, Jeremy Condit This paper…
- Add To MetaCart
-
The Apprentice Challenge
- …The Apprentice Challenge J STROTHER MOORE University of Texas at Austin and GEORGE PORTER…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
