5962 search results - page 619 / 1193 » Working with Patterns and Code |
192
click to vote
FPL
2010
Springer
15 years 5 months ago
2010
Springer
FPGA devices are mostly utilized for customized application designs with heavily pipelined and aggressively parallel computations. However, little focus is normally given to the FP...
230
click to vote
FECS
2009
15 years 5 months ago
2009
- This paper describes the development of a system for teaching C/C++ using LegoTM RCX Robots in a CS1 college course on introductory programming. The system has been implemented u...
203
click to vote
CACM
2010
15 years 4 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
218
click to vote
ENTCS
2010
15 years 4 months ago
2010
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...
213
click to vote
EJASP
2011
15 years 2 months ago
2011
We develop and analyze a space time coded cooperative diversity protocol that achieves improved quality of service for mobile users in the downlink of small cells. The protocol, c...