3367 search results - page 443 / 674 » Incremental assignment problem |
147
click to vote
ISSS
1996
IEEE
15 years 8 months ago
1996
IEEE
Code generation for embedded processors creates opportunities for several performance optimizations not applicable for traditional compilers. We present techniques for improving d...
136
click to vote
ISSS
1996
IEEE
15 years 8 months ago
1996
IEEE
In this paper we present the problem of flow graph balancing for minimizingthe required memory bandwidth. Our goal is to minimize the required memory bandwidth within the given cy...
122
click to vote
ICPP
1993
IEEE
15 years 8 months ago
1993
IEEE
- The subcube allocation problem in faulty hypercubes is studied in this paper. An efficient method for forming the set of regular subcubes is proposed. A concept of irregular subc...
126
click to vote
CSCW
1992
ACM
15 years 8 months ago
1992
ACM
Awareness of individual and group activities is critical to successful collaboration and is commonly supported in CSCW systems by active, information generation mechanisms separat...
168
click to vote
LFCS
1992
Springer
15 years 8 months ago
1992
Springer
This paper addresses the problem of extending the formulae-as-types principle to classical logic. More precisely, we introduce a typed lambda-calculus (-LK ) whose inhabited types...