10848 search results - page 1885 / 2170 » Programming in Biomolecular Computation |
173
click to vote
LCN
2006
IEEE
16 years 20 days ago
2006
IEEE
As sensor networks become denser and more widely deployed, the potential develops for interconnecting these networks to combine datasets, share technological solutions, and to con...
147
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
178
click to vote
RTCSA
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
186
click to vote
RTCSA
2006
IEEE
16 years 20 days ago
2006
IEEE
We propose a new execution time prediction method that combines measurement-based execution time analysis and simulation-based memory access analysis. In measurement-based executi...
191
click to vote
RTSS
2006
IEEE
16 years 20 days ago
2006
IEEE
The elastic task model proposed by Buttazzo, et. al. [9] is a powerful model for adapting real-time systems in the presence of uncertainty. This paper generalizes the existing ela...