4586 search results - page 388 / 918 » Computing stable models in parallel |
155
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
137
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
A major issue in modelling the performance merits of interconnection network is dealing with virtual channels. Some analytical models chose not to deal with this issue at all i.e....
133
Voted
SPAA
2003
ACM
15 years 10 months ago
2003
ACM
The general problem of verifying coherence for shared-memory multiprocessor executions is NP-Complete. Verifying memory consistency models is therefore NP-Hard, because memory con...
157
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
We present an optimal and scalable permutation routing algorithm for three reconfigurable models based on linear arrays that allow pipelining of information through an optical bus...
122
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Abstract. In this paper, we present a methodology for mapping an Embedded Signal Processing ESP application onto HPC platforms such that the throughput performance is maximized. Pr...