1785 search results - page 96 / 357 » Modeling Communication with Synchronized Environments |
110
Voted
ICPPW
2005
IEEE
15 years 9 months ago
2005
IEEE
Large–scale parallel applications performing global synchronization may spend a significant amount of execution time waiting for the completion of a barrier operation. Conseque...
135
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
104
click to vote
ICSE
1995
IEEE-ACM
15 years 7 months ago
1995
IEEE-ACM
The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We inve...
136
Voted
SAFECOMP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
126
Voted
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper we consider the problem of high accuracy localization of mobile nodes in a multipath-rich environment where sub-meter accuracies are required. We employ a peer to pee...