520 search results - page 36 / 104 » Map-reduce as a Programming Model for Custom Computing Machi... |
117
click to vote
ERSHOV
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
130
click to vote
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
127
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
110
click to vote
IEEEPACT
2008
IEEE
15 years 8 months ago
2008
IEEE
Achieving good performance on a modern machine with a multi-level memory hierarchy, and in particular on a machine with software-managed memories, requires precise tuning of progr...
140
click to vote
CDES
2006
15 years 3 months ago
2006
Compilation has a long history of translating a programmer's human-readable code into machine instructions designed to make good use of a specific target computer. In this pa...