2362 search results - page 370 / 473 » Programming in Standard ML |
184
Voted
PVM
2005
Springer
16 years 27 days 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...
193
click to vote
TLCA
2005
Springer
16 years 27 days 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
Voted
EMSOFT
2005
Springer
16 years 26 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 ...
224
Voted
ISSTA
2004
ACM
16 years 26 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 ...
197
click to vote
SAC
2004
ACM
16 years 25 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...