1539 search results - page 163 / 308 » Is it time for real-time functional programming |
127
Voted
ICA3PP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Measurement and modelling of distributions of data communication times is commonly done for telecommunication networks, but this has not previously been done for message ...
150
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
136
Voted
GECCO
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents an extension to genetic programming to allow the evolution of programs containing local variables with static scope which obey the invariant that all variables...
107
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—The adoption of AUTOSAR in the development of automotive electronics can increase the portability and reuse of functional components. Inside each component, the behavior is repr...
125
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...