1054 search results - page 47 / 211 » From a Verified Kernel towards Verified Systems |
101
click to vote
VTC
2008
IEEE
15 years 8 months ago
2008
IEEE
- In this paper, we consider novel cooperative transmission from multiple base stations in multi-user wireless systems. The proposed scheme generates multiple beams using partial c...
124
click to vote
CAV
2012
Springer
13 years 4 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
DAC
1995
ACM
15 years 5 months ago
1995
ACM
Abstract - In this paper we present an approach to incorporate design schedule management services into a flow management system. The basis of our approach is to derive a design s...
112
click to vote
ICRA
1995
IEEE
15 years 5 months ago
1995
IEEE
When many mobile robots should achieve cooperation, local communication system is considered appropriate from the standpoint of the cost and capacity of communication. This paper ...
LCN
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents a model for the expected throughput in a Bluetooth network in presence of a number of other Bluetooth networks that cause radio interference. The analysis cons...