8828 search results - page 1437 / 1766 » Formal methods in practice |
176
click to vote
ETT
2007
15 years 6 months ago
2007
Abstract— The performance of the widely applied timedomain channel estimation for SISO- and MIMO-OFDM systems strongly depends on the preciseness of information regarding maximum...
199
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Coercing new programmers to adopt disciplined development practices such as thorough unit testing is a challenging endeavor. Test-driven development (TDD) has been proposed as a s...
203
click to vote
INFSOF
2007
15 years 6 months ago
2007
Due to the principal role of Data warehouses (DW) in making strategy decisions, data warehouse quality is crucial for organizations. Therefore, we should use methods, models, tech...
206
click to vote
TIP
2008
15 years 6 months ago
2008
In many practical distributed source coding (DSC) applications, correlation information has to be estimated at the encoder in order to determine the encoding rate. Coding efficien...
145
click to vote
TSP
2008
15 years 6 months ago
2008
We consider the design of cooperation coding schemes for a two-user multi-access channel (MAC). In particular, we consider two block Markov coding schemes, namely, the multiplexed...