1569 search results - page 150 / 314 » Programming contest strategy |
98
Voted
APAL
2008
15 years 23 days ago
2008
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....
83
Voted
ENTCS
2008
15 years 21 days ago
2008
Logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmer...
108
click to vote
CORR
1999
Springer
15 years 9 days ago
1999
Springer
Abstract: Systematic testing of object-oriented software turned out to be much more complex than testing conventional software. Especially the highly incremental and iterative deve...
91
Voted
INFOCOM
2011
IEEE
14 years 4 months ago
2011
IEEE
—We consider the problem of neighbor discovery in wireless networks with nodes operating in multiple frequency bands and with asymmetric beacon intervals. This is a challenging t...
89
Voted
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However, most software is most...