564 search results - page 67 / 113 » An analysis-based approach to composition of distributed emb... |
EUROSSC
2007
Springer
14 years 3 months ago
2007
Springer
An increasing number of computationally enhanced objects is distributed around us in physical space, which are equipped – or at least can be provided – with sensors for measuri...
FPL
2008
Springer
13 years 10 months ago
2008
Springer
The exponential distribution is a key distribution in many event-driven Monte-Carlo simulations, where it is used to model the time between random events in the system. This paper...
SCOPES
2004
Springer
14 years 2 months ago
2004
Springer
New embedded signal processing architectures are emerging that are composed of loosely coupled heterogeneous components like CPUs or DSPs, specialized IP cores, reconfigurable uni...
EMSOFT
2006
Springer
14 years 17 days ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
CONCUR
2001
Springer
14 years 1 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...