Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...
Over the past several years, with the advent of the Open Grid Services Architecture (OGSA) [10] and the Web Services Resource Framework (WSRF) [14], Service-Oriented Architectures...
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...
- Functional testing of software dedicated for hybrid embedded systems should start at the early development phase and requires analysis of discrete and continuous signals, where t...
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...