7189 search results - page 240 / 1438 » Connecting Design with Code |
126
Voted
INTERACT
2007
15 years 5 months ago
2007
We present CodeSaw, a social visualization of distributed software development. CodeSaw visualizes a distributed software community from two important and independent perspectives:...
129
Voted
ASE
2008
15 years 3 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
116
Voted
JCM
2008
15 years 3 months ago
2008
Power consumption is a critical issue for many applications running on autonomous battery operated devices. In the context of low power communications, the use of Forward Error Cor...
111
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
— Most of the previous work on network coding has assumed that the users are not selfish and always follow the designed coding schemes. However, recent results have shown that s...
144
Voted
TCOM
2010
14 years 10 months ago
2010
In this paper, we construct nonbinary quasi-cyclic low-density parity-check (QC-LDPC) codes whose parity check matrices consist of an array of square sub-matrices which are either ...