2227 search results - page 131 / 446 » Reversibility and Models for Concurrency |
174
click to vote
CACM
2010
15 years 6 months ago
2010
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
134
click to vote
EMNLP
2009
15 years 3 months ago
2009
This paper shows that discriminative reranking with an averaged perceptron model yields substantial improvements in realization quality with CCG. The paper confirms the utility of...
200
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...
162
Voted
CAD
2008
Springer
15 years 6 months ago
2008
Springer
Detecting approximate symmetries of parts of a model is important when attempting to determine the geometric design intent of approximate boundary-representation (B-rep) solid mod...
145
click to vote
PC
2007
15 years 5 months ago
2007
In this paper, we study the problem of optimal matrix partitioning for parallel dense factorization on heterogeneous processors. First, we outline existing algorithms solving the ...