Resource allocation and scheduling for multicore platforms is one of the most critical challenges in today's embedded computing. In this paper we focus on a well-known multicore platform, namely the Cell BE proces...
详细信息
Resource allocation and scheduling for multicore platforms is one of the most critical challenges in today's embedded computing. In this paper we focus on a well-known multicore platform, namely the Cell BE processor, and we address the problem of allocating and scheduling its processors, communication channels and memories, withthe goal of minimizing execution time for complex data streaming applications. We propose three complete approaches that optimally solve the problem and prove optimality. the first is based on the recursive application of the Logic Based Benders decomposition, resulting in a three stage algorithm. the second is a pure CP approach while the third is a hybrid approach integrating the first two. Extensive experimental evaluation shows the features of each approach and its effectiveness on a specific instance structure.
this paper describes the architecture of the functional electrical stimulation systems developed in the context of the TIME European project. Contributions are the definition of a generic FES architecture and the spec...
详细信息
ISBN:
(纸本)9781424441419
this paper describes the architecture of the functional electrical stimulation systems developed in the context of the TIME European project. Contributions are the definition of a generic FES architecture and the specialization of this architecture, depending on the applicative context, by the deployment, the programming and the control of hardware units, notably stimulation ones. this specialization process is managed by a dedicated software environment, named SENIS Manager.
Within the framework of the acoowee-project we want to improve the programming of Wireless Sensor Networks (WSNs) by using and adapting the expressiveness of UML2 Activity Diagrams (UADs) to specify the behavior of th...
详细信息
ISBN:
(纸本)9781457705137
Within the framework of the acoowee-project we want to improve the programming of Wireless Sensor Networks (WSNs) by using and adapting the expressiveness of UML2 Activity Diagrams (UADs) to specify the behavior of the WSN. We expect that our proposal can simplify the way of programmingthe functional behavior of a WSN and so bring the programming closer to domain experts. We develop the acoowee-framework for Sun SPOTs (spots). the user of the acoowee-framework visually programs UADs and saves them. Afterwards, these UADs are converted into scripts and deployed to the spots e. g. over the air. Finally, the interpreter that runs on the spots executes the scripts. In this demo we present the usage of the acoowee-framework by means of a network consisting of 5 spots and a host with a connected base station. We present all steps listed above. Additionally, we show a rule based manipulation of already deployed scripts and give the attendees the possibilities to try this kind of programming by themselves.
A nonmonotone smoothing Newton algorithm is presented for solving the symmetric conic linear programming (SCLP). the proposed algorithm reformulates the SCLP as a nonlinear system of equations and then applies Newton&...
详细信息
Process mining is the automated acquisition of process models from event logs. Although many process mining techniques have been developed, most of them focus on mining models from the prospective of control flow whil...
详细信息
Modelica is a modern, strongly typed, declarative, equation-based, and object-oriented (EOO) language for modeling and simulation of complex cyber-physical systems. Major features are: ease of use, visual design of mo...
详细信息
ISBN:
(纸本)9781424495375
Modelica is a modern, strongly typed, declarative, equation-based, and object-oriented (EOO) language for modeling and simulation of complex cyber-physical systems. Major features are: ease of use, visual design of models with combination of lego-like predefined model building blocks, ability to define model libraries with reusable components, support for modeling and simulation of complex applications involving parts from several application domains, and many more useful facilities. this paper gives an overview of some aspects of the Modelica language and the OpenModelica environment - the most complete Modelica open-source tool for modeling, simulation, and development of Modelica applications. Special features are MetaModeling for efficient model transformations, the ModelicaML profile for UML-Modelica cyber-physical hardware-software modeling, as well as generation of parallel code for multi-core architectures.
Multiobjective bilevel linear programming is a decentralized decision problem, it consists of many objectives at the upper level and the lower level, respectively. It has a wide field of applications and has been prov...
详细信息
As the volume of real time data available for use in scientific discovery explodes, the limiting factor is increasingly the amount of time and attention a scientist can give to a problem. Processing event streams from...
详细信息
In this paper, a constraint shifting combined homotopy method for solving multi-objective programming problems with both equality and inequality constraints is presented. It does not need the starting point to be an i...
详细信息
In this paper, a constraint shifting combined homotopy method for solving multi-objective programming problems with both equality and inequality constraints is presented. It does not need the starting point to be an interior point or a feasible point and hence is convenient to use. Under some assumptions, the existence and convergence of a smooth path to an efficient solution are proven. Simple numerical results are given. (C) 2011 Elsevier B.V. All rights reserved.
Current researches about multi-vehicle cooperation task assignment models, such as capacitated transshipment assignment problem (CTAP) and mixed integer linear programming (MILP), have extreme amounts of computation n...
详细信息
暂无评论