10871 search results - page 149 / 2175 » A stable programming language |
157
Voted
DLS
2009
15 years 7 days ago
2009
139
click to vote
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
The efficient mapping of program parallelism to multi-core processors is highly dependent on the underlying architecture. This paper proposes a portable and automatic compiler-bas...
122
Voted
ICALP
1992
Springer
15 years 6 months ago
1992
Springer
Abstract. We investigate the complexity of merging sequences of small integers on the EREW PRAM. Our most surprising result is that two sorted sequences of n bits each can be merge...
109
click to vote
ALGORITHMICA
2010
15 years 2 months ago
2010
Knuth [14] asked whether the stable matching problem can be generalised to three dimensions i. e., for families containing a man, a woman and a dog. Subsequently, several authors ...
137
Voted
AMAI
2006
Springer
15 years 2 months ago
2006
Springer
The theorem on loop formulas due to Fangzhen Lin and Yuting Zhao shows how to turn a logic program into a propositional formula that describes the program's stable models. In...