Greening emerging IT technologies: techniques and practices
The tremendous increase in global industrial activity has resulted in high utilization of
natural energy resources and increase in global warming over the last few decades …
natural energy resources and increase in global warming over the last few decades …
[HTML][HTML] Comparison of timed automata with discrete event simulation for modeling of biomarker-based treatment decisions: an illustration for metastatic castration …
Background With the advent of personalized medicine, the field of health economic
modeling is being challenged and the use of patient-level dynamic modeling techniques …
modeling is being challenged and the use of patient-level dynamic modeling techniques …
Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego
W Ahmad, J van de Pol - … Symposium on Leveraging Applications of Formal …, 2016 - Springer
Streaming applications for mobile platforms impose high demands on a system's throughput
and energy consumption. Dynamic system-level techniques have been introduced, to …
and energy consumption. Dynamic system-level techniques have been introduced, to …
Probabilistic model checking for uncertain scenario-aware data flow
JP Katoen, H Wu - ACM Transactions on Design Automation of …, 2016 - dl.acm.org
The Scenario-Aware Dataflow (SADF) model is based on concurrent actors that interact via
channels. It combines streaming data and control to capture scenarios while incorporating …
channels. It combines streaming data and control to capture scenarios while incorporating …
Estimating software energy consumption with machine learning approach by software performance feature
With the growing scale of the application and ability to compute, more and more people pay
attention to software energy consumption. There is a huge potential for controlling energy …
attention to software energy consumption. There is a huge potential for controlling energy …
Monte Carlo Tree Search for Priced Timed Automata
Priced timed automata (PTA) were introduced in the early 2000s to allow for generic
modelling of resource-consumption problems for systems with real-time constraints. Optimal …
modelling of resource-consumption problems for systems with real-time constraints. Optimal …
Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata
System lifetime is a major design constraint for battery-powered mobile embedded systems.
The increasing gap between the energy demand of portable devices and their battery …
The increasing gap between the energy demand of portable devices and their battery …
Pareto optimal scheduling for synchronous data flow graphs on heterogeneous multiprocessor
Streaming applications usually run on heterogeneous multiprocessor platforms and are
required to have a high throughput, which in turn may increase the energy consumption. A …
required to have a high throughput, which in turn may increase the energy consumption. A …
A model-driven framework for hardware-software co-design of dataflow applications
Abstract Hardware-software (HW-SW) co-design allows to meet system-level objectives by
exploiting the synergy of hardware and software. Current tools and approaches for HW-SW …
exploiting the synergy of hardware and software. Current tools and approaches for HW-SW …
[图书][B] A Memory-Aware Scheduling Framework for Streaming Applications on Multicore Systems
M Ma - 2019 - search.proquest.com
As a result of the rapidly increasing requirements for computing capability, multicore systems
are more and more widely used. However, the performance of multicore systems does not …
are more and more widely used. However, the performance of multicore systems does not …