12981 search results - page 483 / 2597 » Model Checking (Abstract) |
137
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—In this paper a programmable Forward Error Correction (FEC) IP for a DVB-S2 receiver is presented. It is composed of a Low-Density Parity Check (LDPC), a Bose-ChaudhuriH...
117
click to vote
ACNS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Network coding has been shown to improve the capacity and robustness in networks. However, since intermediate nodes modify packets en-route, integrity of data cannot be c...
141
click to vote
IFM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
139
click to vote
SEFM
2008
IEEE
15 years 11 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...
132
Voted
WCNC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Cooperative communications has received increasing attention in recent years because of the ubiquity of wireless devices. Each year more mobile computing devices enter ...