10666 search results - page 1853 / 2134 » Quantum programming languages |
131
click to vote
ARC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper, we present the PARO design tool for the automated hardware synthesis of massively parallel embedded architectures for given dataflow dominant applications....
119
Voted
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Agents programmed in BDI-inspired languages have goals to achieve and a library of plans that can be used to achieve them, typically requiring further goals to be adopted. This is...
144
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
143
click to vote
ACII
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. An eye contour extraction method which combines a simplied version of Active Shape Model(ASM) with a gradient method is proposed. Considering the large amount of calculat...
136
click to vote
ADAEUROPE
2007
Springer
15 years 6 months ago
2007
Springer
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...