4187 search results - page 709 / 838 » A Taxonomy of Model Transformation |
105
Voted
ISORC
2009
IEEE
15 years 8 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
111
click to vote
MICRO
2009
IEEE
15 years 8 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 ...
118
Voted
SLE
2009
Springer
15 years 8 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...
95
Voted
CASES
2009
ACM
15 years 8 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...
113
Voted
CSFW
2008
IEEE
15 years 8 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...