3911 search results - page 357 / 783 » Using Operational Architecture to Model Embedded Software |
189
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a system-level design and programming method for embedded multiprocessor systems. The aim of the method is to improve the design time and design quality by providing a ...
177
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
153
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
Modeling is a technique used extensively in industry to define software systems, the UML being the most prominent example. With the increased use of modeling techniques has come t...
186
click to vote
MASCOTS
2008
15 years 8 months ago
2008
Galois field implementations are central to the design of many reliable and secure systems, with many systems implementing them in software. The two most common Galois field opera...
205
click to vote
PDP
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—Continuously reducing transistor sizes and aggressive low power operating modes employed by modern architectures tend to increase transient error rates. Concurrently, mu...