1963 search results - page 253 / 393 » Applications of Preferences using Answer Set Programming |
100
Voted
CASCON
1996
15 years 3 months ago
1996
This paper describes the use of WatIF, a simple compiler intermediate form based on the -calculus, for writing compiler front-ends for a wide range of programming languages. Somew...
103
click to vote
ESOP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...
246
Voted
STOC
2003
ACM
16 years 2 months ago
2003
ACM
In dynamic stabbing, we operate on a dynamic set of intervals. A stabbing query asks for an interval containing a given point. This basic problem encodes problems such as method l...
116
Voted
HOTOS
2009
IEEE
15 years 6 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
111
click to vote
ASPLOS
2006
ACM
15 years 6 months ago
2006
ACM
This paper explores hierarchical instruction scheduling for a tiled processor. Our results show that at the top level of the hierarchy, a simple profile-driven algorithm effective...