3495 search results - page 204 / 699 » On the random satisfiable process |
169
click to vote
SODA
2010
ACM
16 years 4 months ago
2010
ACM
We propose a simple distributed algorithm for balancing indivisible tokens on graphs. The algorithm is completely deterministic, though it tries to imitate (and enhance) a random ...
165
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
- For sub-90nm technology nodes and below, random fluctuations of within-die physical process properties are also known as random on-chip variation (OCV). It impacts on the VLSI/So...
208
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We introduce a model for extractive meeting summarization based on the hypothesis that utterances convey bits of information, or concepts. Using keyphrases as concepts weighted by...
195
click to vote
MTV
2005
IEEE
16 years 22 days ago
2005
IEEE
Our mutation based validation paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently identify and analyze the architec...
169
click to vote
IEAAIE
2005
Springer
16 years 19 days ago
2005
Springer
A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in dif...