7429 search results - page 1380 / 1486 » Embedded System Update |
138
click to vote
SIGMETRICS
2004
ACM
15 years 10 months ago
2004
ACM
This paper develops and evaluates new share-based scheduling algorithms for differentiated service quality in network services, such as network storage servers. This form of resou...
143
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
168
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
162
Voted
SERA
2004
Springer
15 years 10 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
143
click to vote
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...