Searching for authors named "Peng Wu" – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
