Sciweavers

5109 search results - page 668 / 1022
» On Learning Limiting Programs
Sort
View
INFOCOM
2002
IEEE
15 years 11 months ago
Optimal Energy Allocation and Admission Control for Communications Satellites
—We address the issue of optimal energy allocation and admission control for communications satellites in earth orbit. Such satellites receive requests for transmission as they o...
Alvin Fu, Eytan Modiano, John N. Tsitsiklis
147
Voted
TOOLS
2010
IEEE
15 years 11 months ago
Deep Meta-modelling with MetaDepth
Meta-modelling is at the core of Model-Driven Engineering, where it is used for language engineering and domain modelling. The OMG’s Meta-Object Facility is the standard framewor...
Juan de Lara, Esther Guerra
166
Voted
EVOW
2010
Springer
15 years 11 months ago
Evolving Dynamic Trade Execution Strategies Using Grammatical Evolution
Abstract. Although there is a plentiful literature on the use of evolutionary methodologies for the trading of financial assets, little attention has been paid to potential use of...
Wei Cui, Anthony Brabazon, Michael O'Neill
CAV
2009
Springer
116views Hardware» more  CAV 2009»
15 years 11 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
174
Voted
HOLOMAS
2009
Springer
15 years 11 months ago
Design and Implementation of LabVIEW-Based IEC61499 Compliant Device
The method of IEC 61499 compliant device implementation with the National Instruments LabVIEW is proposed. The work focuses on these aspects of the tasks of the event generation an...
Grzegorz Polaków, Mieczyslaw Metzger