2899 search results - page 400 / 580 » Dynamic Trees in Practice |
107
Voted
VLSID
2001
IEEE
16 years 29 days ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
225
Voted
POPL
2008
ACM
16 years 27 days ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
179
Voted
POPL
2002
ACM
16 years 27 days ago
2002
ACM
An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...
103
Voted
ICFP
2007
ACM
16 years 16 days ago
2007
ACM
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
83
Voted
DCC
2003
IEEE
16 years 5 days ago
2003
IEEE
Practical applications that employ entropy coding for large alphabets often partition the alphabet set into two or more layers and encode each symbol by using some suitable prefix...