1147 search results - page 132 / 230 » Termination in language-based systems |
116
Voted
CORR
2008
Springer
15 years 24 days ago
2008
Springer
This is the first part of a two-part paper that studies the problem of jamming in a fixed-rate transmission system with fading, under the general assumption that the jammer has no...
203
Voted
SPAA
2012
ACM
13 years 3 months ago
2012
ACM
In this paper we study distributed algorithms on massive graphs where links represent a particular relationship between nodes (for instance, nodes may represent phone numbers and ...
131
Voted
ICC
2008
IEEE
15 years 7 months ago
2008
IEEE
— Rain, snow, gaseous, cloud, fog, scintillation and other atmospheric properties can have a distorting effect on signal fidelity of Ku and Ka bands, thus resulting in excessive ...
115
click to vote
ICIP
2005
IEEE
16 years 2 months ago
2005
IEEE
The diversity of end-terminal and access network capabilities as well as the dynamic nature of wireless connections pose significant challenges to providers of multimedia streamin...
186
Voted
CC
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...