4690 search results - page 800 / 938 » An operational semantics for Scheme |
154
click to vote
KES
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. This research develops an optimal planning model for pump-treatinject based groundwater remediation systems. Optimizing the design of the pump-treat-inject system is a no...
191
click to vote
MYCRYPT
2005
Springer
16 years 17 days ago
2005
Springer
In this paper we produce a practical and efficient algorithm to find a decomposition of type n = k i=1 2si 3ti , si, ti ∈ N ∪ {0} with k ≤ c + o(1) ¡ log n log log n ....
188
click to vote
ASPLOS
2004
ACM
16 years 15 days ago
2004
ACM
We introduce Shear, a user-level software tool that characterizes RAID storage arrays. Shear employs a set of controlled algorithms combined with statistical techniques to automat...
211
click to vote
CF
2004
ACM
16 years 15 days ago
2004
ACM
New applications and standards are first conceived only for functional correctness and without concerns for the target architecture. The next challenge is to map them onto an arch...
184
click to vote
SAC
2004
ACM
16 years 15 days ago
2004
ACM
We consider the generalized assignment problem in which the objective is to find a minimum cost assignment of a set of jobs to a set of agents subject to resource constraints. Th...