1261 search results - page 46 / 253 » Extending the Capabilities of Component Models for Embedded ... |
DAC
2000
ACM
14 years 10 months ago
2000
ACM
The increasing complexity and software content of embedded systems has led to the common use of sophisticated system software that helps applications use the underlying hardware r...
CCGRID
2006
IEEE
14 years 3 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
RSP
2005
IEEE
14 years 2 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
CODES
2007
IEEE
14 years 3 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
CL
2008
Springer
13 years 9 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...