4799 search results - page 554 / 960 » Model Based Requirements Engineering for Embedded Software |
215
click to vote
DATE
2010
IEEE
15 years 1 months ago
2010
IEEE
The stream processing characteristics of many embedded system applications in multimedia and networking domains have led to the advent of stream based programming formats. Several ...
180
click to vote
TROB
2002
15 years 6 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
184
click to vote
WOSP
2010
ACM
16 years 1 months ago
2010
ACM
Nowadays the 2-Phase-Locking (2PL) concurrency control algorithm still plays a core rule in the construction of transactional systems (e.g. database systems and transactional memo...
183
click to vote
APSEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
180
click to vote
SEFM
2005
IEEE
16 years 11 days ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...