352 search results - page 48 / 71 » The usage of stochastic processes in embedded system specifi... |
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Information and Communication Technologies (ICTs) are rapidly changing and new technologies, processes, and skills are constantly emerging. An important challenge for the research...
SOFSEM
2007
Springer
15 years 6 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
123
click to vote
ADAEUROPE
2006
Springer
15 years 5 months ago
2006
Springer
When a middleware layer is designed for providing semi-transparent distribution facilities to real-time applications, a trade-off must be made between the expressiveness and contro...
DSD
2010
IEEE
15 years 22 hour ago
2010
IEEE
—The design of new embedded systems is getting more and more complex as more functionality is integrated into these systems. To deal with the design complexity, a predictable des...
106
click to vote
RSP
1999
IEEE
15 years 4 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...