4520 search results - page 44 / 904 » Algebraic Techniques for Timed Systems |
98
Voted
SERP
2007
15 years 3 months ago
2007
A function reader is a program that can read an input function and evaluate the function for a given input value at run time. Any Computer Algebra System and Graphing Calculator ar...
121
Voted
SIAMSC
2010
15 years 4 days ago
2010
Abstract. An algebraic multigrid (AMG) method is presented for the calculation of the stationary probability vector of an irreducible Markov chain. The method is based on standard ...
108
click to vote
AMAI
2006
Springer
15 years 1 months ago
2006
Springer
Most real-world database applications manage temporal data, i.e., data with associated time references that capture a temporal aspect of the data, typically either when the data i...
115
click to vote
CONCUR
1994
Springer
15 years 5 months ago
1994
Springer
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
125
click to vote
JCSS
2008
15 years 1 months ago
2008
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...