1304 search results - page 71 / 261 » RTOS Modeling for System Level Design |
145
click to vote
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
132
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...
158
click to vote
HCI
2009
15 years 1 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
— As we are entering the network-on-chip era and system communication is becoming a dominating factor, comon abstraction and synthesis are becoming the integral part of system de...
152
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...