2362 search results - page 370 / 473 » Programming in Standard ML |
185
Voted
PVM
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. An MPI profiling library is a standard mechanism for intercepting MPI calls by applications. Profiling libraries are so named because they are commonly used to gather p...
194
Voted
TLCA
2005
Springer
16 years 1 months ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
207
click to vote
EMSOFT
2005
Springer
16 years 29 days ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...
225
Voted
ISSTA
2004
ACM
16 years 28 days ago
2004
ACM
Object oriented programming promotes reuse of classes in multiple contexts. Thus, a class is designed and implemented with several usage scenarios in mind, some of which possibly ...
198
click to vote
SAC
2004
ACM
16 years 28 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...