1763 search results - page 202 / 353 » A Formalization of Polytime Functions |
101
click to vote
ECBS
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...
152
click to vote
CSFW
2003
IEEE
15 years 7 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
98
Voted
ICCS
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Although current programming models provide adequate performance, many prove inadequate to support the effective development of efficient Grid applications. Many of the ...
114
click to vote
IFL
2003
Springer
15 years 7 months ago
2003
Springer
Parallel programming generally requires awareness of the granularity and communication requirements of parallel subtasks, since without precaution, the overhead for parameter and r...
105
Voted
IFL
2003
Springer
15 years 7 months ago
2003
Springer
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...