Sciweavers

1665 search results - page 203 / 333
» Design Patterns as Language Constructs
Sort
View
PCM
2004
Springer
107views Multimedia» more  PCM 2004»
15 years 11 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...
POPL
2012
ACM
14 years 1 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
16 years 5 days 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
HASKELL
2007
ACM
15 years 10 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 7 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