1379 search results - page 91 / 276 » codes 2009 |
135
click to vote
MOBIHOC
2009
ACM
16 years 5 months ago
2009
ACM
In this demo we present the Wireless Open-Access Research Platform for Networks (WARPnet), a research testbed aimed at performing experiments at the network level. The platform is...
121
click to vote
ICSR
2009
Springer
15 years 2 months ago
2009
Springer
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...
107
click to vote
ICSE
2009
IEEE-ACM
16 years 5 months ago
2009
IEEE-ACM
ng Implementations from Abstraction Functions Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial In...
155
click to vote
ICMCS
2009
IEEE
15 years 2 months ago
2009
IEEE
Network coding has been recently applied to wireless networks to increase throughput. It is typically implemented as a thin layer between MAC and IP, transparently to higher layer...
131
click to vote
PPPJ
2009
ACM
15 years 11 months ago
2009
ACM
In test-driven development, tests are written for each program unit before the code is written, ensuring that the code has a comprehensive unit testing harness. Unfortunately, uni...