249 search results - page 27 / 50 » Validating Architectural Feature Descriptions using LOTOS |
127
click to vote
PPOPP
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents an analytical model to predict the performance of general-purpose applications on a GPU architecture. The model is designed to provide performance information ...
112
click to vote
JWSR
2007
15 years 1 months ago
2007
: With the rising popularity of Web services, both academia and industry have invested considerably in Web service description standards, discovery, and composition techniques. The...
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
- A noble model-based programming environment of embedded software for MPSoC is proposed. By defining a common intermediate code (CIC), it separates modeling of the software and im...
129
click to vote
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
— Localisation is one of the most important tasks to be accomplished in order to realize the complete autonomy of a mobile robot. In this paper, a new strategy for global localis...
110
click to vote
ESWS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The paper presents a clustering method which can be applied to populated ontologies for discovering interesting groupings of resources therein. The method exploits a simp...