2643 search results - page 66 / 529 » Higher order messaging |
CORR
2010
Springer
15 years 4 months ago
2010
Springer
125
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
140
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...
123
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In multi-input multi-output (MIMO) detection, semidefinite relaxation (SDR) has been shown to be an efficient high-performance approach. For BPSK and QPSK, it has been found that S...
CORR
2008
Springer
15 years 4 months ago
2008
Springer
