2875 search results - page 297 / 575 » Using separation of concerns for embedded systems design |
187
click to vote
WH
2010
15 years 22 days ago
2010
Systems with wearable and wireless motion sensors have been receiving significant attention in the past few years specifically for the applications of human movement monitoring. O...
147
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
156
Voted
NOSSDAV
2005
Springer
15 years 11 months ago
2005
Springer
We are concerned with the fundamental problem of event ordering in multiplayer peer-to-peer games. Event ordering, even without faults, requires all-to-all message passing with at...
284
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
C++ templates are key to the design of current successful mainstream libraries and systems. They are the basis of programming techniques in diverse areas ranging from conventional...
163
click to vote
IWCMC
2006
ACM
16 years 22 hour ago
2006
ACM
Cross-Layer design has been the focus of several recent research efforts. Due to the highly variable nature of the links used in wireless communication systems and the resource-po...