12333 search results - page 334 / 2467 » System Level Modelling for Hardware Software Systems |
151
click to vote
ACSD
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper proposes a formal framework for the design of real-time shared data-space systems. The proposed method separates the concerns of functionality, behavior, and timing. Th...
211
click to vote
EUROPAR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Prefetching transfers a data item in advance from its storage location to its usage location so that communication is hidden and does not delay computation. We present a ...
208
click to vote
FDL
2006
IEEE
16 years 22 days ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
173
click to vote
GLVLSI
2005
IEEE
16 years 9 days ago
2005
IEEE
Embedded software is a preferred choice for implementing system functionality in modern System-on-Chip (SoC) designs, due to the high flexibility, and lower engineering costs pro...
156
click to vote
JUCS
2007
15 years 6 months ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...