2736 search results - page 420 / 548 » Understanding programmer language |
182
click to vote
SC
1995
ACM
15 years 10 months ago
1995
ACM
Given the large communication overheads characteristic of modern parallel machines, optimizations that eliminate, hide or parallelize communication may improve the performance of ...
138
click to vote
LREC
2008
15 years 7 months ago
2008
In this paper two highly innovative digital editions will be presented. For the creation and the implementation of these editions the latest developments within corpus research ha...
141
click to vote
LFP
1990
15 years 7 months ago
1990
Many parallel algorithms are naturally expressed at a ne level of granularity, often ner than a MIMD parallel system can exploit eciently. Most builders of parallel systems have...
198
click to vote
AIPS
2009
15 years 7 months ago
2009
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...
192
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...