5186 search results - page 919 / 1038 » Embedded Systems |
168
click to vote
SENSYS
2004
ACM
15 years 11 months ago
2004
ACM
Previous approaches for computing duplicate-sensitive aggregates in sensor networks (e.g., in TAG) have used a tree topology, in order to conserve energy and to avoid double-count...
164
click to vote
EMSOFT
2004
Springer
15 years 11 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...
203
click to vote
GECCO
2004
Springer
15 years 11 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...
161
click to vote
TACAS
2004
Springer
15 years 11 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...
162
click to vote
RTAS
2003
IEEE
15 years 11 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...