12115 search results - page 148 / 2423 » Bisimulation of Dynamical Systems |
114
Voted
NC
2006
15 years 3 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...
144
Voted
RTS
2008
15 years 2 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 ...
130
Voted
FSTTCS
2007
Springer
15 years 9 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...
130
Voted
CLUSTER
2007
IEEE
15 years 9 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...
109
click to vote
IEEESCC
2006
IEEE
15 years 9 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...