Sciweavers

6527 search results - page 37 / 1306
» On Typing Information Flow
Sort
View
ICNP
1999
IEEE
13 years 12 months ago
Minimum Rate Guarantee Without Per-Flow Information
This paper introduces a scalable maxmin flow control protocol which guarantees the minimum rate for each connection-oriented flow without requiring per-flow information. The proto...
Yuseok Kim, Wei Kang Tsai, Mahadevan Iyer, Jordi R...
MICCAI
2008
Springer
14 years 8 months ago
Exploring the Use of Proper Orthogonal Decomposition for Enhancing Blood Flow Images Via Computational Fluid Dynamics
Abstract. Obtaining high quality patient-specific flow velocity information is not an easy task. Available clinical data are usually poorly resolved and contain a significant amoun...
Dominik Szczerba, Gábor Székely, Kri...
RE
2008
Springer
13 years 7 months ago
Information Brokers in Requirement-Dependency Social Networks
Requirements interdependencies create technical dependencies among project members that generally belong to different functional groups in an organization, but who need to coordin...
Sabrina Marczak, Daniela Damian, Ulrike Stege, Adr...
ICFP
2004
ACM
14 years 7 months ago
Translating dependency into parametricity
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
Stephen Tse, Steve Zdancewic
IPMI
2001
Springer
14 years 8 months ago
3D Vascular Segmentation Using MRA Statistics and Velocity Field Information in PC-MRA
Abstract. This paper presents a new and integrated approach to automatic 3D brain vessel segmentation using physics-based statistical models of background and vascular signals, and...
Albert C. S. Chung, J. Alison Noble, Paul E. Summe...