6248 search results - page 1073 / 1250 » Programming in a data factory |
188
click to vote
LICS
2007
IEEE
16 years 21 days ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
171
click to vote
TASE
2007
IEEE
16 years 20 days ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
155
click to vote
BIRTHDAY
2007
Springer
16 years 18 days ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
168
click to vote
CP
2007
Springer
16 years 18 days ago
2007
Springer
It has recently been shown, for the Constraint Satisfaction Problem (CSP), that the state associated with a node of the search tree built by a backtracking algorithm can be exploit...
175
click to vote
DEXA
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Sequence alignment is an important task for molecular biologists. Because alignment basically deals with approximate string matching on large biological sequence collecti...