—This paper presents a hybrid automatic test pattern generation (ATPG) technique using the staggered launch-oncapture (LOC) scheme followed by the one-hot LOC scheme for testing ...
This paper presents an approach for improving final software system usability by designing for usability, in particular by addressing usability issues in the software architecture...
The pervasive computing environment will be composed of heterogeneous services. In this work, we have explored how a domain specific language for service composition can be implem...
This report discusses some design and implementation issues in the HPJava language. Through example codes, we will illustrate how various language features have been designed to f...
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...