Sciweavers

2642 search results - page 285 / 529
» The development of Chez Scheme
Sort
View
CDC
2009
IEEE
164views Control Systems» more  CDC 2009»
15 years 4 months ago
Real-time MPC - Stability through robust MPC design
Recent results have suggested that online Model Predictive Control (MPC) can be computed quickly enough to control fast sampled systems. High-speed applications impose a hard real-...
Melanie Nicole Zeilinger, Colin Neil Jones, Davide...
DLS
2009
196views Languages» more  DLS 2009»
15 years 4 months ago
Contracts for first-class modules
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
T. Stephen Strickland, Matthias Felleisen
ECRTS
2009
IEEE
15 years 4 months ago
Approximate Bandwidth Allocation for Compositional Real-Time Systems
Allocation of bandwidth among components is a fundamental problem in compositional real-time systems. Stateof-the-art algorithms for bandwidth allocation use either exponential-ti...
Nathan Fisher, Farhana Dewan
FPGA
2009
ACM
168views FPGA» more  FPGA 2009»
15 years 4 months ago
Large-scale wire-speed packet classification on FPGAs
Multi-field packet classification is a key enabling function of a variety of network applications, such as firewall processing, Quality of Service differentiation, traffic billing...
Weirong Jiang, Viktor K. Prasanna
GCC
2009
Springer
15 years 4 months ago
Accounting and Billing for Federated Cloud Infrastructures
Emerging Cloud computing infrastructures provide computing resources on demand based on postpaid principles. For example, the RESERVOIR project develops an infrastructure capable o...
Erik Elmroth, Fermín Galán Má...