2366 search results - page 10 / 474 » Pfaffian Hybrid Systems |
HYBRID
2009
Springer
14 years 4 months ago
2009
Springer
HYBRID
2007
Springer
14 years 4 months ago
2007
Springer
ENTCS
2011
13 years 1 months ago
2011
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...
HYBRID
2004
Springer
14 years 3 months ago
2004
Springer
CSE
2011
IEEE
12 years 9 months ago
2011
IEEE
In this paper, we present a performance modeling framework based on memory bandwidth contention time and a parameterized communication model to predict the performance of OpenMP, M...