3356 search results - page 273 / 672 » Determining Consensus Numbers |
157
click to vote
MASCOTS
1993
15 years 5 months ago
1993
: Weak-consistency replication protocols can be used to build wide-area services that are scalable, fault-tolerant, and useful for mobile computer systems. We have evaluated the ti...
140
click to vote
WCET
2007
15 years 5 months ago
2007
To calculate the WCET of a program, safe upper bounds on the number of loop iterations for all loops in the program are needed. As the manual annotation of all loops with such bou...
158
click to vote
BMEI
2009
IEEE
15 years 5 months ago
2009
IEEE
The Gaussian mixture model is a powerful statistical tool in data modeling and analysis. Generally, the EM algorithm is utilized to learn the parameters of the Gaussian mixture. Ho...
144
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...
132
click to vote
CEC
2010
IEEE
15 years 5 months ago
2010
IEEE
Biogas plants are reliable sources of energy based on renewable materials including organic waste. There is a high demand from industry to run these plants efficiently, which lead...