Sciweavers

1538 search results - page 99 / 308
» Programming with Patterns
Sort
View
101
Voted
PASTE
2010
ACM
15 years 5 months ago
Extracting compiler provenance from program binaries
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
Nathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu
89
Voted
ICSE
2000
IEEE-ACM
15 years 4 months ago
Quickly detecting relevant program invariants
Explicitly stated program invariants can help programmers by characterizing certain aspects of program execution and identifying program properties that must be preserved when mod...
Michael D. Ernst, Adam Czeisler, William G. Griswo...
121
Voted
ICFP
2001
ACM
16 years 20 days ago
Extensible Algebraic Datatypes with Defaults
A major problem for writing extensible software arises when recursively defined datatypes and operations on these types have to be extended simultaneously without modifying existi...
Matthias Zenger, Martin Odersky
ICPP
2005
IEEE
15 years 6 months ago
Performance Evaluation of View-Oriented Parallel Programming
This paper evaluates the performance of a novel View-Oriented Parallel Programming style for parallel programming on cluster computers. View-Oriented Parallel Programming is based...
Zhiyi Huang, Martin K. Purvis, Paul Werstein
GECCO
2006
Springer
262views Optimization» more  GECCO 2006»
15 years 4 months ago
Genetically programmed strategies for chess endgame
Classical chess engines exhaustively explore moving possibilities from a chessboard configuration to choose what the next best move to play is. In this article we present a new me...
Nicolas Lassabe, Stéphane Sanchez, Herv&eac...