Sciweavers

3819 search results - page 495 / 764
» Simple Easy Terms
Sort
View
MSWIM
2005
ACM
16 years 6 days ago
Magnetic diffusion: disseminating mission-critical data for dynamic sensor networks
Envisioning a new generation of sensor network applications in healthcare and workplace safety, we seek mechanisms that provide timely and reliable transmissions of mission-critic...
Hsing-Jung Huang, Ting-Hao Chang, Shu-Yu Hu, Polly...
PPOPP
2005
ACM
16 years 6 days ago
A linear-time algorithm for optimal barrier placement
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...
Alain Darte, Robert Schreiber
SAC
2005
ACM
16 years 6 days ago
Box-set consistency for interval-based constraint problems
As opposed to finite domain CSPs, arc consistency cannot be enforced, in general, on CSPs over the reals, including very simple instances. In contrast, a stronger property, the s...
Gilles Chabert, Gilles Trombettoni, Bertrand Neveu
SAC
2005
ACM
16 years 6 days ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
SIGDOC
2005
ACM
16 years 6 days ago
Co-generation of text and graphics
To reduce potential discrepancies between textual and graphical content in documentation, it is possible to produce both text and graphics from a single common source. One approac...
David G. Novick, Brian Lowe