7429 search results - page 685 / 1486 » Embedded System Update |
171
click to vote
DATE
2010
IEEE
16 years 15 days ago
2010
IEEE
—This paper describes a system-level modeling method in UML for performance evaluation of embedded systems. The core technology of this modeling method is reverse modeling based ...
201
click to vote
ISSS
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, we propose instruction encoding techniques for embedded system design, which encode immediate fields of instructions to reduce the size of an instruction memory. Al...
200
click to vote
PDPTA
1997
15 years 8 months ago
1997
This article describes the ongoing work of real-time message passing interface MPI standardization. Real-time MPI MPI RT provides a consistent set of extensions and, in some ca...
188
click to vote
ENTCS
2006
15 years 7 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
247
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...