24095 search results - page 4417 / 4819 » Researchers and Development - Young Researches |
182
Voted
SEFM
2006
IEEE
16 years 26 days ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
196
click to vote
SRDS
2006
IEEE
16 years 26 days ago
2006
IEEE
Failure models characterise the expected component failures in fault-tolerant computing. In the context of distributed systems, a failure model usually consists of two parts: a fu...
192
Voted
VLSID
2006
IEEE
16 years 26 days ago
2006
IEEE
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...
154
click to vote
VTC
2006
IEEE
16 years 26 days ago
2006
IEEE
— In this paper we investigate the issues of both initial and post-initial acquisition schemes in the multiple transmit/receive antenna aided DS-CDMA downlink, when communicating...
236
Voted
VTC
2006
IEEE
16 years 26 days ago
2006
IEEE
— The estimation of correct triggers for handover in cellular networks belongs to the critical tasks for accurate network operation. The importance of seamless handover even rise...