Sciweavers

30267 search results - page 375 / 6054
» Process Modelling Languages
Sort
View
PLDI
2011
ACM
14 years 9 months ago
Partial-coherence abstractions for relaxed memory models
Michael Kuperstein, Martin T. Vechev, Eran Yahav
CODES
1998
IEEE
15 years 11 months ago
Combining multiple models of computation for scheduling and allocation
Many applications include a variety off unctions from different domains. Therefore, they are best modeled with a combination of different modeling languages. For a sound design pr...
Dirk Ziegenbein, Rolf Ernst, Kai Richter, Jür...