3921 search results - page 657 / 785 » Transforming Models with ATL |
106
Voted
MICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
A platform that supported Sequential Consistency (SC) for all codes — not only the well-synchronized ones — would simplify the task of programmers. Recently, several hardware ...
110
Voted
SLE
2009
Springer
15 years 7 months ago
2009
Springer
As domain-specific modeling begins to attract widespread acceptance, pressure is increasing for the development of new domainspecific languages. Unfortunately these DSLs typicall...
CASES
2009
ACM
15 years 7 months ago
2009
ACM
This paper solves the open problem of extracting the maximal number of iterations from a loop that can be executed in parallel on chip multiprocessors. Our algorithm solves it opt...
105
Voted
CSFW
2008
IEEE
15 years 7 months ago
2008
IEEE
We investigate the composition of protocols that share a common secret. This situation arises when users employ the same password on different services. More precisely we study w...
88
Voted
DASFAA
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. Advances in sensing and satellite technologies and the growth of Internet have resulted in the easy accessibility of vast amount of spatial data. Extracting useful knowle...