250 search results - page 10 / 50 » State Isomorphism in Model Programs with Abstract Data Struc... |
ICDM
2008
IEEE
15 years 4 months ago
2008
IEEE
The task of aligning sequences arises in many applications. Classical dynamic programming approaches require the explicit state enumeration in the reward model. This is often impr...
ICALP
2009
Springer
15 years 10 months ago
2009
Springer
We present the first uniquely represented data structure for an external memory model of computation, a B-tree analogue called a B-treap. Uniquely represented data structures repre...
SIGSOFT
2003
ACM
15 years 2 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
FORTE
2008
14 years 11 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...