Sciweavers

1120 search results - page 63 / 224
» C Elements of Style
Sort
View
PODC
2006
ACM
14 years 3 months ago
Quorum placement in networks: minimizing network congestion
A quorum system over a universe of logical elements is a collection of subsets (quorums) of elements, any two of which intersect. In numerous distributed algorithms, the elements ...
Daniel Golovin, Anupam Gupta, Bruce M. Maggs, Flor...
LCPC
2000
Springer
14 years 1 months ago
Efficient Dynamic Local Enumeration for HPF
In translating HPF programs, a compiler has to generate local iteration and communication sets. Apart from local enumeration, local storage compression is an issue, because in HPF ...
Will Denissen, Henk J. Sips
BMCBI
2007
115views more  BMCBI 2007»
13 years 10 months ago
Seven Golden Rules for heuristic filtering of molecular formulas obtained by accurate mass spectrometry
Background: Structure elucidation of unknown small molecules by mass spectrometry is a challenge despite advances in instrumentation. The first crucial step is to obtain correct e...
Tobias Kind, Oliver Fiehn
NAR
2008
204views more  NAR 2008»
13 years 10 months ago
ppdb: a plant promoter database
ppdb (http://www.ppdb.gene.nagoya-u.ac.jp) is a plant promoter database that provides promoter annotation of Arabidopsis and rice. The database contains information on promoter st...
Yoshiharu Y. Yamamoto, Junichi Obokata
CORR
2004
Springer
176views Education» more  CORR 2004»
13 years 9 months ago
The First-Order Theory of Sets with Cardinality Constraints is Decidable
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
Viktor Kuncak, Martin C. Rinard