1690 search results - page 177 / 338 » Algorithmic Properties of Millstream Systems |
184
click to vote
ICMT
2011
Springer
14 years 8 months ago
2011
Springer
ATL is a language for describing model transformations currently in uni-direction. In our previous work we have shown that transformations of graph structures given in some form ca...
162
click to vote
FLOPS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This article is a brief and subjective survey of quantum programming language research. 1 Quantum Computation Quantum computing is a relatively young subject. It has its ...
121
click to vote
AEI
2008
15 years 4 months ago
2008
The paper proposes a methodology to assist the designer at the initial stages of the design synthesis process by enabling him/her to employ knowledge and algorithms existing in gr...
188
click to vote
HIPEAC
2011
Springer
14 years 4 months ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...
150
click to vote
IISWC
2009
IEEE
15 years 11 months ago
2009
IEEE
—In the era of multi-core, computer vision has emerged as an exciting application area which promises to continue to drive the demand for both more powerful and more energy effi...