26 search results - page 4 / 6 » Executable Specification of Novel Display Controllers |
FASE
2008
Springer
14 years 11 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
IASSE
2003
14 years 11 months ago
2003
This paper describes the functionality required for a development environment that supports stratified programming (SP), a novel software development method that we have proposed ...
ICCAD
2005
IEEE
15 years 6 months ago
2005
IEEE
Many commercially available embedded processors are capable of extending their base instruction set for a specific domain of applications. While steady progress has been made in t...
137
click to vote
ECRTS
2010
IEEE
14 years 10 months ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
108
click to vote
JIPS
2007
14 years 9 months ago
2007
: The use of agent paradigm in today’s applications is hampered by the security concerns of agents and hosts alike. The agents require the presence of a secure and trusted execut...