5465 search results - page 57 / 1093 » Assigning Types to Processes |
ESEM
2009
ACM
14 years 9 days ago
2009
ACM
Research has provided evidence that type usage in source files is correlated with the risk of failure of software components. Previous studies that investigated the correlation b...
POPL
1999
ACM
13 years 12 months ago
1999
ACM
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
APLAS
2009
ACM
14 years 2 months ago
2009
ACM
We propose a type system for a programming language with memory allocation/deallocation primitives, which prevents memory-related errors such as double-frees and memory leaks. The ...
ECAL
2007
Springer
14 years 1 months ago
2007
Springer
We develop a multi-level selection model in the framework of indirect reciprocity. Using two levels of selection, one at the individual level and another at the group level, we pro...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper presents a new and retargetable method to identify patterns of instructions with direct support in coarsegrained processing elements (PEs). The method uses a three-addr...