5451 search results - page 737 / 1091 » Typed Operational Semantics |
197
click to vote
SEUS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper provides a QoS analysis of a dynamic, ubiquitous UMTS network scenario in the automotive context identified in the ongoing EC HIDENETS project. The scenario comprises d...
147
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Many different types of modern wired and wireless communication links can be mathematically described as discretebert channels. In this extended abstract, we present an exact me...
153
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, a cooperative transmission design for a multi-node wireless cluster network is presented. It is assumed that the nodes operate in half-duplex mode and that channe...
202
click to vote
AFP
2008
Springer
16 years 1 months ago
2008
Springer
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
157
click to vote
DSN
2007
IEEE
16 years 29 days ago
2007
IEEE
The choice of error model used for robustness evaluation of Operating Systems (OSs) influences the evaluation run time, implementation complexity, as well as the evaluation preci...