11214 search results - page 132 / 2243 » Programming Multi-agent Systems |
165
click to vote
ECOOP
2012
Springer
13 years 7 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
180
click to vote
POPL
2012
ACM
14 years 20 days ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
161
click to vote
FCCM
2008
IEEE
15 years 11 months ago
2008
IEEE
This work proposes a set of requirements for programming emerging FPGA-based high performance computing systems, and uses them to evaluate a number of existing parallel programmin...
118
Voted
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
93
Voted
UM
2005
Springer
15 years 10 months ago
2005
Springer
