336 search results - page 49 / 68 » Program Speedups in Theory and Practice |
111
click to vote
POPL
1990
ACM
15 years 4 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
ESOP
2000
Springer
15 years 4 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 ...
77
Voted
JIKM
2007
15 years 13 days ago
2007
This paper presents the role of an innovative university masters’ degree program as a basis for skills development in human capital analysis for finance and business students in...
113
Voted
IWMM
2009
Springer
15 years 7 months ago
2009
Springer
The peak heap consumption of a program is the maximum size of the live data on the heap during the execution of the program, i.e., the minimum amount of heap space needed to run t...
106
Voted
IOR
2007
15 years 13 days ago
2007
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve an important class of planning and scheduling problems. Tasks are allocated to faciliti...