9 search results - page 2 / 2 » Debugging macros |
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
JRoute is a set of Java classes that provide an application programming interface (API) for routing of Xilinx FPGA devices. The interface allows various levels of control from conn...
ICSE
2005
IEEE-ACM
14 years 5 months ago
2005
IEEE-ACM
End users develop more software than any other group of programmers, using software authoring devices such as e-mail filtering editors, by-demonstration macro builders, and spread...
KBSE
2010
IEEE
13 years 3 months ago
2010
IEEE
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...
ACL2
2006
ACM
13 years 11 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...