Abstract--This paper studies the performance of ultra-wideband (UWB) radio communications systems employing phase shift keying (PSK) modulation and fully saturated power amplifiers...
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...
Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa
When architecting dependable systems, in addition to improving system dependability by means of construction (fault-tolerant and redundant mechanisms, for instance), it is also im...
Henry Muccini, Marcio S. Dias, Debra J. Richardson
One of the main objectives for a rail company is to minimize the size of rail freight car fleet in order to reduce operating costs. The problem of rail freight car fleet compositio...
Execution of programs with data parallel language constructs is either based on the fork/join or on the SPMD model. Whereas the former executes a program sequentially and confines...