Sciweavers

244 search results - page 25 / 49
» A Framework for Using Benefit Functions In Complex Real Time...
Sort
View
ICC
2008
IEEE
119views Communications» more  ICC 2008»
14 years 3 months ago
HSUPA Scheduling Algorithms Utilizing RoT Measurements and Interference Cancellations
—This paper discusses several important aspects in the HSUPA scheduling algorithms. First, it clearly demonstrates the benefit of explicitly utilizing the directly measured Rise-...
Danlu Zhang, Sharad Sambhwani, Bibhu Mohanty
TRIDENTCOM
2010
IEEE
13 years 6 months ago
Managing Distributed Applications Using Gush
Deploying and controlling experiments running on a distributed set of resources is a challenging task. Software developers often spend a significant amount of time dealing with the...
Jeannie Albrecht, Danny Yuxing Huang
HPCN
2000
Springer
14 years 6 days ago
Modelling Control Systems in an Event-Driven Coordination Language
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
Theophilos A. Limniotes, George A. Papadopoulos
ICCV
2009
IEEE
15 years 1 months ago
Moving in Stereo: Efficient Structure and Motion Using Lines
We present a fast and robust system for estimating structure and motion using a stereo pair, with straight lines as features. Our first set of contributions are efficient algorit...
Manmohan Chandraker, Jongwoo Lim, David Kriegman
IFL
2005
Springer
207views Formal Methods» more  IFL 2005»
14 years 2 months ago
A Dependently Typed Framework for Static Analysis of Program Execution Costs
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
Edwin Brady, Kevin Hammond