6045 search results - page 1091 / 1209 » Computable Linearizations of Well-partial-orderings |
CASC
2006
Springer
14 years 28 days ago
2006
Springer
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
SIGGRAPH
1995
ACM
14 years 22 days ago
1995
ACM
In this paper we describe a new tool for interactive free-form fair surface design. By generalizing classical discrete Fourier analysis to two-dimensional discrete surface signals...
IWCC
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper, we present techniques and algorithms to improve the performance of various communication patterns on message-passing platforms where, for reasons of safety, user-le...
EUROPAR
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. The High Performance Fortran (HPF) benchmark suite HPFBench was designed for evaluating the HPF language and compilers on scalable architectures. The functionality of the...
DCC
1998
IEEE
14 years 1 months ago
1998
IEEE
Multi-hypothesis motion-compensated prediction extends traditional motion-compensated prediction used in video coding schemes. Known algorithms for block-based multi-hypothesis mo...