1822 search results - page 208 / 365 » The Method of Assigning Incidences |
187
click to vote
DATE
2005
IEEE
16 years 19 days ago
2005
IEEE
Conventional cache models are not suited for real-time parallel processing because tasks may flush each other’s data out of the cache in an unpredictable manner. In this way th...
186
click to vote
NCA
2005
IEEE
16 years 18 days ago
2005
IEEE
This paper deals with general nested loops and proposes a novel scheduling methodology for reducing the communication cost of parallel programs. General loops contain complex loop...
163
click to vote
IJCNLP
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. This paper proposes a lexicon-constrained character model that combines both word and character features to solve complicated issues in Chinese morphological analysis. A ...
173
click to vote
CAV
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...
168
Voted
SAT
2004
Springer
16 years 11 days ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...