7167 search results - page 1096 / 1434 » A Technique for Invariant Generation |
215
click to vote
SC
2003
ACM
16 years 26 days ago
2003
ACM
This paper presents a novel, parallel algorithm for generating top alignments. Top alignments are used for finding internal repeats in biological sequences like proteins and gene...
213
click to vote
SMA
2003
ACM
16 years 26 days ago
2003
ACM
The presented approach to discretization of functionally defined heterogeneous objects is oriented towards applications associated with numerical simulation procedures, for exampl...
179
click to vote
TLDI
2003
ACM
16 years 26 days ago
2003
ACM
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
168
click to vote
ACG
2003
Springer
16 years 25 days ago
2003
Springer
Abstract Opponent-Model search is a game-tree search method that explicitly uses knowledge of the opponent. There is some risk involved in using Opponent-Model search. Both the pre...
216
click to vote
CHARME
2003
Springer
16 years 25 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...