5281 search results - page 767 / 1057 » Performance evaluation of software architectures |
177
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
-- The Distributed Agents For Autonomy (DAFA) study has been performed for ESA/ESTEC by SciSys UK Ltd, VEGA, and Politecnico di Milano in 2008-2009. The aim of DAFA study has been ...
183
click to vote
DSL
2009
15 years 4 months ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...
199
click to vote
EUROCRYPT
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. We describe efficient formulas for computing pairings on ordinary elliptic curves over prime fields. First, we generalize lazy reduction techniques, previously considere...
274
click to vote
CC
2009
Springer
16 years 7 months ago
2009
Springer
Register allocation decides which parts of a variable's live range are held in registers and which in memory. The compiler inserts spill code to move the values of variables b...
161
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast ...