Sciweavers

144
Voted
CAMAD
2006
IEEE
15 years 7 months ago
Enhancing reliable multicast transport to mitigate the impact of blockage
Mobile wireless communication is susceptible to signal blockage, which is loss of signal, typically due to physical obstruction, over a longer duration relative to fading. Measurem...
Stephen F. Bush, Orhan C. Imer, Praveen Kumar Gopa...
119
Voted
DATE
2004
IEEE
121views Hardware» more  DATE 2004»
15 years 7 months ago
Experiences during the Experimental Validation of the Time-Triggered Architecture
During last years, the Time-Triggered Architecture (TTA) has been gaining acceptance as a generic architecture for highly dependable real-time systems. It is now being used to imp...
Sara Blanc, Joaquin Gracia, Pedro J. Gil
114
Voted
DATE
2004
IEEE
109views Hardware» more  DATE 2004»
15 years 7 months ago
Using Counter Example Guided Abstraction Refinement to Find Complex Bugs
Per Bjesse, James H. Kukula
140
Voted
DATE
2004
IEEE
152views Hardware» more  DATE 2004»
15 years 7 months ago
A Design Methodology for the Exploitation of High Level Communication Synthesis
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...
Francesco Bruschi, Massimo Bombana