1271 search results - page 135 / 255 » On Simulation-Checking with Sequential Systems |
126
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
141
Voted
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
We propose a middleware for automated implementation of security protocols for Web services. The proposed middleware consists of two main layers: the communication layer and the se...
133
Voted
ISSAC
2009
Springer
15 years 10 months ago
2009
Springer
We present a high performance algorithm for multiplying sparse distributed polynomials using a multicore processor. Each core uses a heap of pointers to multiply parts of the poly...
102
click to vote
KI
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a sequential state estimation method with arbitrary probabilistic models expressing the system’s belief. Probabilistic models can be estimated by Maximum a po...
146
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a novel architecture for on-chip neural network training using particle swarm optimization (PSO). PSO is an evolutionary optimization algorithm with a growing ...