827 search results - page 54 / 166 » Patterns for Timed Property Specifications |
127
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques tha...
102
click to vote
NIPS
2003
15 years 4 months ago
2003
A balanced network leads to contradictory constraints on memory models, as exemplified in previous work on accommodation of synfire chains. Here we show that these constraints can...
132
click to vote
ENTCS
2006
15 years 3 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
128
click to vote
RTSS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper focuses on priority assignment for realtime systems using fixed priority scheduling. It introduces and defines the concept of a “robust” priority ordering: the most...
122
click to vote
EUROMICRO
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...