MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Peng Li" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

36 documents found, showing 1 through 10. Next 10 →

ATOM

S.: A language-based approach to unifying events and threads
by Peng Li — 2006
…Abstract A Language-based Approach to Unifying Events and Threads Peng Li University…
Cited by 2 (0 self) – Add To MetaCart

Practical information-flow control in web-based information systems
by Peng Li — 2005 — In Proceedings of 18th IEEE Computer Security Foundations Workshop. IEEE Computer
…Practical Information-flow Control in Web-based Information Systems Peng Li University…
Cited by 9 (2 self) – Add To MetaCart

Combining events and threads for scalable network services
by Peng Li — 2007 — In Proc. 2007 PLDI
… Of Monadic, Application-level Concurrency Primitives Peng Li University of Pennsylvania lipeng…
Cited by 15 (2 self) – Add To MetaCart

Encoding information flow in Haskell
by Peng Li — 2006 — In CSFW’06: the 19th IEEE Computer Security Foundations Workshop
…Encoding Information Flow in Haskell Peng Li University of Pennsylvania lipeng…
Cited by 12 (3 self) – Add To MetaCart

Utility Accrual Real-Time Scheduling with Probabilistically-Assured Timeliness Performance
by Peng Li, Binoy Ravindran
… Systems 1 Utility Accrual Real-Time Scheduling with Probabilistically-Assured Timeliness Performance Peng…
Add To MetaCart

On decentralized proactive resource allocation in asynchronous real-time distributed systems
by Peng Li, Tamir Hegazy — 2002 — In Proc. of The IEEEIIEICE Symp. on High Assurance Systems Engineering
… real-time distributed systems in the presence of processor failures $ BinoyRavindran, Peng Li…
Cited by 2 (1 self) – Add To MetaCart

Adaptive time-critical resource management using time/utility functions: Past, present, and future
by Peng Li, Binoy Ravindran — 2004 — In Proceedings of the 28th Annual International Computer Software and Applications Conference
…-Critical Resource Management Using Time/Utility Functions: Past, Present, and Future Peng Li, Binoy Ravindran ECE…
Cited by 4 (0 self) – Add To MetaCart

A Linear-Centric Modeling Approach to Harmonic Balance Analysis
by Peng Li, Lawrence Pileggi — 2002
…-779. Peng Li and Lawrence Pileggi Department of Electrical and Computer Engineering Carnegie Mellon…
Cited by 2 (2 self) – Add To MetaCart

Unifying confidentiality and integrity in downgrading policies
by Peng Li, Steve Zdancewic — 2005 — In Proc. of the LICS’05 Affiliated Workshop on Foundations of Computer Security (FCS
…Unifying Confidentiality and Integrity in Downgrading Policies Peng Li Steve Zdancewic Department…
Cited by 8 (3 self) – Add To MetaCart

Downgrading policies and relaxed noninterference
by Peng Li, Steve Zdancewic — 2005 — SIGPLAN Not
…Downgrading Policies and Relaxed Noninterference Peng Li University of Pennsylvania lipeng…
Cited by 60 (10 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB