67 search results - page 6 / 14 » The Model Evolution Calculus with Equality |
FASE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
AHS
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper gives an overview over the progress that has been made by the Heidelberg FPTA group within the field of analog evolvable hardware. Achievements are the design of a CMOS...
APSEC
2002
IEEE
14 years 24 days ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
CEC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Many problems in the engineering domain involve more than one objective to be optimized simultaneously. The optimal solution to a multi-objective function results in a set of e...