Search Sciweavers | Sciweavers

1855 search results - page 21 / 371

» A coding theorem for distributed computation

click to vote

IPPS
2006
IEEE

150views Distributed And Parallel Com...» more IPPS 2006»

An overview of the Jahob analysis system: project goals and current status

14 years 5 months ago

Download www.cag.lcs.mit.edu

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

claim paper

Read More »

click to vote

ISIPTA
2003
IEEE

82views Mathematics» more ISIPTA 2003»

Convenient Interactive Computing for Coherent Imprecise Prevision Assessments

14 years 4 months ago

Download www.carleton-scientific.com

A generalization of deFinetti’s Fundamental Theorem of Probability facilitates coherent assessment, by iterated natural extension, of imprecise probabilities or expectations, co...

James Dickey

claim paper

Read More »

click to vote

DCOSS
2009
Springer

160views Distributed And Parallel Com...» more DCOSS 2009»

MCP: An Energy-Efficient Code Distribution Protocol for Multi-Application WSNs

14 years 2 months ago

Download www.cs.pitt.edu

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

claim paper

Read More »

click to vote

IPPS
2008
IEEE

123views Distributed And Parallel Com...» more IPPS 2008»

Parallelizing irregular C codes assisted by interprocedural shape analysis

14 years 5 months ago