Sciweavers

2643 search results - page 88 / 529
» Higher order messaging
Sort
View
JSCIC
2010
57views more  JSCIC 2010»
14 years 11 months ago
A Proof of the Stability of the Spectral Difference Method for All Orders of Accuracy
While second order methods for computational simulations of fluid flow provide the basis of widely used commercial software, there is a need for higher order methods for more accur...
Antony Jameson
CORR
2010
Springer
96views Education» more  CORR 2010»
14 years 11 months ago
Quantifying Information Leakage in Finite Order Deterministic Programs
Information flow analysis is a powerful technique for reasoning about the sensitive information exposed by a program during its execution. While past work has proposed information...
Ji Zhu, Mudhakar Srivatsa
CORR
2010
Springer
90views Education» more  CORR 2010»
15 years 4 months ago
On the Optimality of Successive Decoding in Compress-and-Forward Relay Schemes
In the classical compress-and-forward relay scheme developed by (Cover and El Gamal, 1979), the decoding process operates in a successive way: the destination first decodes the co...
Xiugang Wu, Liang-Liang Xie
FORTE
1997
15 years 5 months ago
A Hierarchy of Communication Models for Message Sequence Charts
In a Message Sequence Chart (MSC) the dynamical behaviour of a number of cooperating processes is depicted. An MSC defines a partial order on the communication events between the...
André Engels, Sjouke Mauw, Michel A. Renier...
JAVA
2000
Springer
15 years 7 months ago
Development routes for message passing parallelism in Java
Java is an attractive environment for writing portable message passing parallel programs. Considerable work in message passing interface bindings for the C and Fortran languages h...
J. A. Mathew, Heath A. James, Kenneth A. Hawick