4719 search results - page 126 / 944 » Spreadsheet functional programming |
105
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
Students are often asked to submit electronic copies of their program code as part of assessment in computer science courses. To counter code plagiarism, educational institutions ...
110
click to vote
SFP
2001
15 years 2 months ago
2001
: We study type checking that is complete in the sense that it accepts every program whose subexpressions can all be executed without raising a type error at runtime. In a complete...
133
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...
115
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
103
Voted
CSMR
2007
IEEE
15 years 7 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...