11160 search results - page 1999 / 2232 » Incompleteness in a General Setting |
222
click to vote
DNA
2007
Springer
16 years 24 days ago
2007
Springer
In search for “realistic” bio-inspired computing models, we consider asynchronous spiking neural P systems, in the hope to get a class of computing devices with decidable prope...
207
click to vote
EMSOFT
2007
Springer
16 years 23 days ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
162
click to vote
EMSOFT
2007
Springer
16 years 23 days ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
158
click to vote
EMSOFT
2007
Springer
16 years 23 days ago
2007
Springer
Most recent embedded systems use caches to improve their average performance. Current timing analyses are able to compute safe timing guarantees for these systems, if tasks are ru...
209
click to vote
EMSOFT
2007
Springer
16 years 23 days ago
2007
Springer
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...