12115 search results - page 148 / 2423 » Bisimulation of Dynamical Systems |
NC
2006
13 years 10 months ago
2006
Biochemical reactions taking place in living systems that map different inputs to specific outputs are intuitively recognized as performing information processing. Conventional wis...
RTS
2008
13 years 9 months ago
2008
Dynamic memory allocation has been used for decades. However, it has seldom been used in real-time systems since the worst case of spatial and temporal requirements for allocation ...
FSTTCS
2007
Springer
14 years 4 months ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
CLUSTER
2007
IEEE
14 years 4 months ago
2007
IEEE
— In this paper we give a theoretical model for determining the synchronization frequency that minimizes the parallel execution time of loops with uniform dependencies dynamicall...
IEEESCC
2006
IEEE
14 years 4 months ago
2006
IEEE
SOA provides a flexible framework for betterintegrated systems that meet business needs. However, the existing methods are not successful in helping business analysts to devise ap...