19798 search results - page 639 / 3960 » Is Structural Subtyping Useful |
169
click to vote
ER
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we argue that many of the problems one may experience while visiting websites today may be avoided if their builders adopt a proper methodology for designin...
172
click to vote
ASPLOS
1996
ACM
15 years 10 months ago
1996
ACM
Interpreted languages have become increasingly popular due to demands for rapid program development, ease of use, portability, and safety. Beyond the general impression that they ...
163
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
In this paper, we study the problem of decomposing gates in fanin-unbounded or K-bounded networks such that the K-input LUT mapping solutions computed by a depthoptimal mapper hav...
151
click to vote
CIAC
2010
Springer
15 years 10 months ago
2010
Springer
In this paper, we consider an arbitrary class H of rooted graphs such that each biconnected component is given by a representation with reflectional symmetry, which allows a roote...
147
click to vote
COCO
1989
Springer
15 years 10 months ago
1989
Springer
Kadin [6] showed that if the Polynomial Hierarchy (PH) has infinitely many levels, then for all k, PSAT[k] ⊂ PSAT[k+1]. This paper extends Kadin’s technique and shows that a p...