15885 search results - page 2695 / 3177 » The Modest Software Engineer |
195
click to vote
PPDP
2007
Springer
16 years 29 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
178
Voted
QOSA
2007
Springer
16 years 29 days ago
2007
Springer
Different organizations or organizational units are likely to store and maintain different types of information about their software architectures. This inhibits effective manageme...
190
click to vote
SEKE
2007
Springer
16 years 28 days ago
2007
Springer
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...
203
click to vote
SERA
2007
Springer
16 years 28 days ago
2007
Springer
Component-based development has become a recognized technique for building large scale distributed applications. Although the maturity of this technique, there appears to be quite...
264
click to vote
SIGADA
2007
Springer
16 years 28 days ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...