Abstract: The present contribution deals with the experiences of introducing a modelbased software development method for device driver families used in electronic control units in...
This paper combines two successful techniques from software engineering, aspect-oriented programming and design-by-contract, and applies them in the context of reactive systems. F...
Using a general polynomial approximation approach, we present an arithmetic library generator for the logarithmic number system (LNS). The generator produces optimized LNS arithmet...
The limited time available for acquiring the channel state in mobile broadband wireless communication systems makes it crucial to count with channel estimation methods that attain ...
As system integration becomes an increasingly important challenge for complex real-time systems, there has been a significant demand for supporting real-time systems in virtualiz...
Sisu Xi, Justin Wilson, Chenyang Lu, Christopher D...