11129 search results - page 138 / 2226 » Modeling Search Computing Applications |
IPTPS
2005
Springer
15 years 8 months ago
2005
Springer
A great deal of work has been done to improve peerto-peer routing by strategically moving or replicating content. However, there are many applications for which a peer-to-peer arc...
122
click to vote
WMTE
2005
IEEE
15 years 8 months ago
2005
IEEE
An additional platform for supporting learning in the same physical space in which it takes place, is now available owing to the continuous advancement of wireless and mobile tech...
144
Voted
SPIN
2009
Springer
15 years 9 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
107
click to vote
ICANN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we propose a new distance metric for probability density functions (PDF). The main advantage of this metric is that unlike the popular Kullback-Liebler (KL)...
157
click to vote
ISPDC
2010
IEEE
15 years 29 days ago
2010
IEEE
—This paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package defined in the stand...