Sciweavers

1688 search results - page 63 / 338
» Implementing Optimizations at Decode Time
Sort
View
INFOCOM
2003
IEEE
15 years 7 months ago
Optimal Bandwidth Reservation Schedule in Cellular Network
Abstract— Efficient bandwidth allocation strategy with simultaneous fulfillment of QoS requirement of a user in a mobile cellular network is still a critical and an important p...
Samrat Ganguly, B. R. Badrinath, Navin Goyal
94
Voted
CDC
2009
IEEE
167views Control Systems» more  CDC 2009»
15 years 5 months ago
An optimal control approach for the registration of image time-series
— This paper discusses an optimal control approach for the registration of image time-series (growth modeling). It combines and augments work on an optimal control formulation to...
Marc Niethammer, Gabe L. Hart, Christopher Zach
139
Voted
HYBRID
2000
Springer
15 years 6 months ago
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...
Peter Niebert, Sergio Yovine
DAC
2000
ACM
16 years 3 months ago
Formal verification of iterative algorithms in microprocessors
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
Mark Aagaard, Robert B. Jones, Roope Kaivola, Kath...
146
Voted
ADAEUROPE
2004
Springer
15 years 7 months ago
The Chance for Ada to Support Distribution and Real-Time in Embedded Systems
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
Juan López Campos, J. Javier Gutiérr...