799 search results - page 70 / 160 » Generating Reliable Code from Hybrid-Systems Models |
ECBS
2009
IEEE
14 years 4 months ago
2009
IEEE
Model Driven Engineering has shown the feasibility to generate tools (editors, analyzers …) from models and for a domain. Unfortunately these generated tools are much focused wh...
HIPEAC
2010
Springer
14 years 5 hour ago
2010
Springer
We present Offload, a programming model for offloading parts of a C++ application to run on accelerator cores in a heterogeneous multicore system. Code to be offloaded is enclosed ...
APSEC
2001
IEEE
14 years 1 months ago
2001
IEEE
Accelerating the learning curve of software maintainers working on systems with which they have little familiarity motivated this study. A working hypothesis was that automated me...
ISCAS
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— The heterogeneity in the current and future multimedia environment requires an elegant adaptation framework for the production and consumption of different kinds of mul...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
—The focus of this paper is an information-theoretic study of retransmission protocols for reliable packet communication under a secrecy constraint. The hybrid automatic retransm...