352 search results - page 10 / 71 » The usage of stochastic processes in embedded system specifi... |
WSC
2004
15 years 1 months ago
2004
We consider single-stage, single-product Make-to-Stock systems with random demand and random service (production) rate, where demand shortages at the inventory facility are backor...
123
click to vote
ARCS
2010
Springer
15 years 3 months ago
2010
Springer
Power and resource management are key goals for the success of modern battery-supplied multimedia devices. This kind of devices are usually based on SoCs with a wide range of subsy...
118
click to vote
CBSE
2008
Springer
15 years 1 months ago
2008
Springer
: This paper proposes a technology for the development of distributed real-time component-based applications, which takes advantage of the features that Ada offers for the developm...
BIRTHDAY
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
105
click to vote
DATE
2000
IEEE
15 years 4 months ago
2000
IEEE
There has been a proliferation of block-diagram environments for specifying and prototyping DSP systems. These include tools from academia like Ptolemy [3], and GRAPE [7], and com...