5962 search results - page 64 / 1193 » Working with Patterns and Code |
122
click to vote
ITP
2010
15 years 6 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
113
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Graphs capture the essential elements of many problems broadly defined as searching or categorizing. With the rapid increase of data volumes from sensors, many application discipl...
121
Voted
NCA
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper deals with general nested loops and proposes a novel scheduling methodology for reducing the communication cost of parallel programs. General loops contain complex loop...
114
click to vote
SCAM
2006
IEEE
15 years 8 months ago
2006
IEEE
Many articles and tools have been proposed over the years for mining design patterns from source code. These tools differ in several aspects, thus their fair comparison is hard. B...
136
click to vote
PPDP
2004
Springer
15 years 7 months ago
2004
Springer
Refactoring in object-orientation has gained increased attention due to its ability to improve design quality. Refactoring using design patterns (DPs) leads to production of high ...