Sciweavers

1855 search results - page 21 / 371
» A coding theorem for distributed computation
Sort
View
IPPS
2006
IEEE
14 years 11 months ago
An overview of the Jahob analysis system: project goals and current status
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
Viktor Kuncak, Martin C. Rinard
ISIPTA
2003
IEEE
14 years 10 months ago
Convenient Interactive Computing for Coherent Imprecise Prevision Assessments
A generalization of deFinetti’s Fundamental Theorem of Probability facilitates coherent assessment, by iterated natural extension, of imprecise probabilities or expectations, co...
James Dickey
DCOSS
2009
Springer
14 years 9 months ago
MCP: An Energy-Efficient Code Distribution Protocol for Multi-Application WSNs
In this paper, we study the code distribution problem in multi-application wireless sensor networks (MA-WSNs), i.e., sensor networks that can support multiple applications. While M...
Weijia Li, Youtao Zhang, Bruce Childers
IPPS
2008
IEEE
14 years 11 months ago
Parallelizing irregular C codes assisted by interprocedural shape analysis
Rafael Asenjo, Rosa Castillo, Francisco Corbera, A...