336 search results - page 49 / 68 » Program Speedups in Theory and Practice |
POPL
1990
ACM
14 years 17 days 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
14 years 4 days 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 ...
JIKM
2007
13 years 8 months 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...
IWMM
2009
Springer
14 years 3 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...
IOR
2007
13 years 8 months 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...