Sciweavers

5448 search results - page 78 / 1090
» Breakpoints and Time in Distributed Computations
Sort
View
130
Voted
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
15 years 6 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
102
Voted
TCOM
2010
145views more  TCOM 2010»
14 years 11 months ago
Blind Cooperative Diversity Using Distributed Space-Time Coding in Block Fading Channels
— Mobile users with single antennas can still take advantage of spatial diversity through cooperative space-time encoded transmission. In this paper, we consider a scheme in whic...
Kamel Tourki, Mohamed-Slim Alouini, Luc Deneire
SRDS
2008
IEEE
15 years 7 months ago
Assuring Resilient Time Synchronization
Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Fala...
61
Voted
CONCUR
2005
Springer
15 years 6 months ago
Efficient On-the-Fly Algorithms for the Analysis of Timed Games
Franck Cassez, Alexandre David, Emmanuel Fleury, K...