4047 search results - page 477 / 810 » Some Properties and Some Problems on Set Functors |
139
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...
163
click to vote
ISPD
1999
ACM
15 years 11 months ago
1999
ACM
The sequence-pair was proposed in 1994 as a representation of the packing of rectangles of general structure. Since then, there have been e orts to expand its applicability over s...
143
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
A set of synchronization relations between distributed nonatomic events was recently proposed to provide real-time applications with a fine level of discrimination in the specifica...
151
click to vote
CP
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Combinatorial search methods often exhibit a large variability in performance. We study the cost pro les of combinatorial search procedures. Our study reveals some intrig...
176
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
Infinitary Term Rewriting allows to express infinitary terms and infinitary reductions that converge to them. As their notion of transfinite reduction in general, and as binary...