4076 search results - page 471 / 816 » A framework for developing distributed location based applic... |
156
click to vote
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
—P2P platforms have been criticized because of the heavy strain that some P2P services can inflict on costly interdomain links of network operators. It is therefore necessary to...
133
click to vote
IEEEPACT
2007
IEEE
15 years 10 months ago
2007
IEEE
Transactional Memory (TM) simplifies parallel programming by supporting atomic and isolated execution of user-identified tasks. To date, TM programming has required the use of l...
145
click to vote
FMOODS
2007
15 years 5 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
208
click to vote
HCW
2000
IEEE
15 years 8 months ago
2000
IEEE
Management of large-scale parallel and distributed applications is an extremely complex task due to factors such as centralized management architectures, lack of coordination and ...
159
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: To further understand the implementation of hyperparameters re-estimation technique in Bayesian hierarchical model, we added two more prior assumptions over the weight...