8766 search results - page 618 / 1754 » Functional logic programming |
113
Voted
ICALP
2010
Springer
15 years 9 months ago
2010
Springer
We show that a natural online algorithm for scheduling jobs on a heterogeneous multiprocessor, with arbitrary power functions, is scalable for the objective function of weighted ï¬...
255
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
139
click to vote
IISWC
2008
IEEE
15 years 11 months ago
2008
IEEE
Heterogeneous multi-core processors are attractive for power efficient computing because of their ability to meet varied resource requirements of diverse applications in a workloa...
150
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
158
Voted
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...