5591 search results - page 402 / 1119 » Design patterns: between programming and software design |
157
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Unregulated evolution of software often leads to software ageing which not only makes the product difficult to maintain but also breaks the consistency between design and impleme...
216
click to vote
ASPLOS
2006
ACM
16 years 25 days ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
161
click to vote
TACAS
2007
Springer
16 years 29 days ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
188
click to vote
JSA
2008
15 years 6 months ago
2008
In this paper, we present linear processor array architectures for flexible approximate string matching. These architectures are based on parallel realization of dynamic programmi...
223
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Continuous time-series sequence matching, specifically, matching a numeric live stream against a set of predefined pattern sequences, is critical for domains ranging from fire spr...