3994 search results - page 685 / 799 » A Linear Logical Framework |
151
click to vote
ISBI
2009
IEEE
15 years 11 months ago
2009
IEEE
Membrane-bound protein, expressed in the basal-lateral region, is heterogeneous and an important endpoint for understanding biological processes. At the optical resolution, membra...
157
Voted
ICAS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Traditionally, performance has been the most important metrics when evaluating a system. However, in the last decades industry and academia have been paying increasing a...
160
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Network flow models serve as a popular mathematical framework for the analysis and optimization of Multi-hop Wireless Networks. They also serve to provide the understan...
151
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Motivated by streaming applications with stringent delay constraints, we consider the design of online network coding algorithms with timely delivery guarantees. Assuming that t...
120
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a new LogP-based model, called LoOgGP, which allows an accurate characterization of MPI applications based on microbenchmark measurements. This new model is an...