Sciweavers

1665 search results - page 203 / 333
» Design Patterns as Language Constructs
Sort
View
113
Voted
PCM
2004
Springer
107views Multimedia» more  PCM 2004»
15 years 7 months ago
Automatic Peak Number Detection in Image Symmetry Analysis
Abstract. In repeated pattern analysis, peak number detection in autocorrelation is of key importance, which subsequently determines the correctness of the constructed lattice. Pre...
Jingrui He, Mingjing Li, HongJiang Zhang, Hanghang...
135
Voted
POPL
2012
ACM
13 years 10 months ago
Resource-sensitive synchronization inference by abduction
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
Matko Botincan, Mike Dodds, Suresh Jagannathan
QSIC
2006
IEEE
15 years 8 months ago
Control-Flow Analysis and Representation for Aspect-Oriented Programs
Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design and implementation. The field of AOP has, so far, f...
Jianjun Zhao
150
Voted
HASKELL
2007
ACM
15 years 6 months ago
A lightweight interactive debugger for haskell
This paper describes the design and construction of a Haskell source-level debugger built into the GHCi interactive environment. We have taken a pragmatic approach: the debugger i...
Simon Marlow, José Iborra, Bernard Pope, An...
APCCM
2007
15 years 4 months ago
English Sentence Structures and EER Modeling
An input to the conceptual database design phase contains a description of the target database. This description is usually given in some natural language, for instance in English...
Sven Hartmann, Sebastian Link