A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
Although retargetability has been a major design concern for many compilers, retargetability is a vitally important issue for Digital Signal Processors(DSPs) because the architect...
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
: Large portion of embedded system development process is the integration of hardware and software. Unfortunately, the communication across the hardware/software boundary is tediou...
Aspect-based refactoring, called aspectualization, involves moving program code that implements cross-cutting concerns into aspects. Such refactoring can improve the maintainabili...