4350 search results - page 225 / 870 » Case studies for contract-based systems |
156
click to vote
CLUSTER
2007
IEEE
16 years 28 days ago
2007
IEEE
— A schedule is said robust if it is able to absorb some degree of uncertainty in tasks duration while maintaining a stable solution. This intuitive notion of robustness has led ...
161
click to vote
FPL
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. FPGAs have been proposed as high-performance alternatives to DSP processors. This paper quantitatively compares FPGA performance against DSP processors and ASICs using ac...
164
click to vote
ADAEUROPE
2008
Springer
15 years 8 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
153
click to vote
CRIWG
2006
15 years 8 months ago
2006
DIAS is an Asynchronous Discussion Forum Software, mainly developed in order to offer extended monitoring and interaction analysis support, by providing a wide range of indicators ...
151
click to vote
RV
2010
Springer
15 years 5 months ago
2010
Springer
To avoid large overheads induced by runtime monitoring, the use of asynchronous log-based monitoring is sometimes adopted — even though this implies that the system may proceed f...