2297 search results - page 152 / 460 » Production of Large Computer Programs |
113
click to vote
CPAIOR
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present a constraint programming approach for the service consolidation problem that is being currently tackled by Neptuny, Milan. The problem is defined as: Giv...
119
click to vote
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
In the light of evidence that Haskell programs compiled by GHC exhibit large numbers of mispredicted branches on modern processors, we re-examine the "tagless" aspect of...
112
click to vote
PPPJ
2006
ACM
15 years 8 months ago
2006
ACM
Currently there exist dozens of web controller frameworks that are incompatible, but at the same time have large portions of overlapping functionality that is implemented over and...
AADEBUG
1997
Springer
15 years 6 months ago
1997
Springer
Previously the debugging of optimised code has not been possible without recompiling the executable code and preventing the use of code optimisation techniques. Although current r...