2844 search results - page 372 / 569 » A Comparison of Partitioning Operating Systems for Integrate... |
159
click to vote
LCN
2007
IEEE
16 years 25 days ago
2007
IEEE
— Peer-to-peer and mobile networks gained significant attention of both research community and industry. Applying the peer-to-peer paradigm in mobile networks lead to several pr...
158
click to vote
FSEN
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
153
click to vote
ISSAC
2007
Springer
16 years 21 days ago
2007
Springer
An algorithm is presented for the geometric analysis of an algebraic curve f(x, y) = 0 in the real affine plane. It computes a cylindrical algebraic decomposition (CAD) of the pla...
183
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
219
click to vote
WIA
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we propose a new data structure, called shared automata, for representing deterministic finite automata (DFA). Shared automata admit a strong canonical form for DFA ...