3456 search results - page 475 / 692 » Byte Code Engineering |
163
Voted
FECS
2009
15 years 1 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...
131
Voted
CACM
2010
15 years 1 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...
131
Voted
ENTCS
2010
15 years 1 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...
109
Voted
TVLSI
2011
14 years 10 months ago
2011
Abstract—Bitstream compression is important in reconfigurable system design since it reduces the bitstream size and the memory requirement. It also improves the communication ba...
165
Voted
IJOSSP
2010
14 years 10 months ago
2010
Empirical research on software development based on data obtained from project repositories and code forges is increasingly gaining attention in the software engineering research ...