3994 search results - page 690 / 799 » A Linear Logical Framework |
130
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—This paper presents a theoretic framework of optimal resource allocation and admission control for peer-topeer networks. Peer’s behavioral rankings are incorporated into the r...
152
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Modern single and multi-processor computer systems incorporate, either directly or through a LAN, a number of storage devices with diverse performance characteristics. These stora...
121
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
In message-passing parallel applications, messages are not delivered in a strict order. In most applications, the computation results and the set of messages produced during the e...
138
click to vote
ISBI
2007
IEEE
15 years 10 months ago
2007
IEEE
Optical imaging is a powerful technique to map brain function in animals. In this study, we consider in vivo optical imaging of the murine olfactory bulb, using an intrinsic signa...
113
click to vote
FIMH
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Long term responses of the heart to e.g. infarction or surgical intervention are related to response of the tissue to changes in the mechanical environment. The tissue re...