3911 search results - page 85 / 783 » Using Operational Architecture to Model Embedded Software |
125
click to vote
CGO
2007
IEEE
15 years 11 months ago
2007
IEEE
The demand for high performance has driven acyclic computation accelerators into extensive use in modern embedded and desktop architectures. Accelerators that are ideal from a sof...
136
Voted
CISIS
2010
IEEE
15 years 10 months ago
2010
IEEE
—The SERSCIS project aims to support the use of interconnected systems of services in Critical Infrastructure (CI) applications. The problem of system interconnectedness is aptly...
153
click to vote
SNPD
2008
15 years 6 months ago
2008
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...
139
click to vote
FORTE
2004
15 years 6 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
140
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...