4693 search results - page 160 / 939 » Verifying Hybrid Systems |
164
click to vote
MIDDLEWARE
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Epidemic protocols have demonstrated remarkable scalability and robustness in disseminating information on internet-scale, dynamic P2P systems. However, popular instances...
180
click to vote
SERP
2007
15 years 7 months ago
2007
- Functional testing of software dedicated for hybrid embedded systems should start at the early development phase and requires analysis of discrete and continuous signals, where t...
173
click to vote
IJHIS
2006
15 years 6 months ago
2006
A web site should be easy to browse by visitors. However, sometimes the reality is quite different. Situations like several unrelated topics in a single web page may lead to confus...
221
click to vote
GLOBE
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Distributed or peer-to-peer storage solutions rely on the introduction of redundant data to be fault-tolerant and to achieve high reliability. One way to introduce redund...
188
click to vote
EUROGP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we conduct a comparative study between hybrid methods to optimize multilayer perceptrons: a model that optimizes the architecture and initial weights of mul...