Searching for authors named "Peng Wu" – sorted by Relevance.
-
An Election Model in π-Calculus
- An Election Model in π-Calculus Peng Wu Laboratory for Computer Science Institute of Software
- Add To MetaCart
-
Compositional Analysis of Mobile Network Protocols
- Protocols by Peng Wu Dongmei Zhang Laboratory of Computer Science Institute of Software Chinese Academy
- Add To MetaCart
-
Dependence Testing without Induction Variable Substitution
- Dependence Testing Without Induction Variable Substitution Albert Cohen y Peng Wu z y A3
- Cited by 2 (0 self) – Add To MetaCart
-
Performance of Hybrid-ARQ in Block-Fading Channels: A Fixed Outage Probability Analysis
- Performance of Hybrid-ARQ in Block-Fading Channels: A Fixed Outage Probability Analysis Peng Wu
- Add To MetaCart
-
Containers on the Parallelization of General-purpose Java Programs
- of the Army or Government. Peng Wu £ David Padua Department of Computer Science University of Illinois
- Add To MetaCart
-
A Preliminary Study on the Vectorization of Multimedia Applications for Multimedia Extensions
- * Gang Ren 1 , Peng Wu 2 and David Padua 1 1 Department of Computer Science, University of Illinois
- Cited by 11 (0 self) – Add To MetaCart
-
Efficient Support for Complex Numbers in Java
- Efficient Support for Complex Numbers in Java Peng Wu Sam Midkiff Jose Moreira Manish Gupta
- Cited by 30 (8 self) – Add To MetaCart
-
Induction variable analysis without idiom recognition: Beyond monotonicity
- Induction Variable Analysis without Idiom Recognition: Beyond Monotonicity Peng Wu1, Albert
- Cited by 11 (1 self) – Add To MetaCart
-
Model checking the probabilistic π-calculus
- Parker 1 and Peng Wu 3 1 School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK 2
- Cited by 1 (0 self) – Add To MetaCart
-
Points-to Analysis for Java with Applications to Loop Optimizations
- Points-to Analysis for Java with Applications to Loop Optimizations Peng Wu y Paul Feautrier z
- Cited by 3 (3 self) – Add To MetaCart

