1613 search results - page 180 / 323 » Model-Driven Constraint Engineering |
128
click to vote
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
141
click to vote
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
Power consumption is an important design parameter for embedded and portable systems. Software-controlled (or dynamic) power management (DPM) has recently emerged as an attractive...
154
click to vote
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
A key step in the design of multi-rate real-time systems is the determination of buffer capacities. In our multi-processor system, we apply back-pressure as caused by bounded buff...
156
click to vote
EDBTW
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Executable schema mappings between XML schemas are essential to support numerous data management tasks such as data exchange, data integration and schema evolution. The n...
149
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Reservation-based channel access has been shown to be effective in providing Quality of Service (QoS) guarantees (e.g., timeliness) in wireless embedded real-time applications suc...