Sciweavers

892 search results - page 25 / 179
» Calculating with Requirements
Sort
View
AINA
2006
IEEE
15 years 11 months ago
Bandwidth allocation and pricing in multimode network
This paper presents adaptive resource sharing model that uses a revenue criterion to allocate network resources in an optimal way. The model ensures QoS requirements of data flow...
Jyrki Joutsensalo, Ari Viinikainen, Mika Wikstr&ou...
161
Voted
APLAS
2006
ACM
15 years 9 months ago
Comparing Completeness Properties of Static Analyses and Their Logics
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...
David A. Schmidt
ISBI
2006
IEEE
16 years 6 months ago
Continuous image representations avoid the histogram binning problem in mutual information based image registration
Mutual information (MI) based image-registration methods that use histograms are known to suffer from the so-called binning problem, caused by the absence of a principled techniqu...
Ajit Rajwade, Arunava Banerjee, Anand Rangarajan
163
Voted
CASES
2006
ACM
15 years 9 months ago
Power efficient branch prediction through early identification of branch addresses
Ever increasing performance requirements have elevated deeply pipelined architectures to a standard even in the embedded processor domain, requiring the incorporation of dynamic b...
Chengmo Yang, Alex Orailoglu
SCL
2010
137views more  SCL 2010»
15 years 3 months ago
Cooperative distributed model predictive control
— Cooperative distributed model predictive control has recently been shown to provide stabilizing feedback for plants composed of any finite number of dynamically coupled subsys...
Brett T. Stewart, Aswin N. Venkat, James B. Rawlin...