6040 search results - page 365 / 1208 » Generating Instance Models from Meta Models |
223
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
275
click to vote
UIC
2010
Springer
15 years 5 months ago
2010
Springer
Traveling to unfamiliar regions require a significant effort from novice travelers to plan where to go within a limited duration. In this paper, we propose a smart recommendation...
202
click to vote
SAC
2005
ACM
16 years 8 days ago
2005
ACM
Simulations of complex scientific phenomena involve the execution of massively parallel computer programs. These simulation programs generate large-scale multidimensional data set...
203
click to vote
IPC
2007
IEEE
16 years 1 months ago
2007
IEEE
Current context-aware adaptation techniques are limited in their support for user personalisation. Complex codebases, a reliance on developer modification and an inability to auto...
167
click to vote
AMC
2005
15 years 6 months ago
2005
In this paper, we study graphs that arise from certain sensory and communication limitations on the local interactions in multi-agent systems. In particular, we show that the set ...