Abstract. Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementin...
In processors that do not support floating-point instructions, using fixed-point arithmetic instead of floating-point emulation trades off computation accuracy for execution spe...
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
The implementation of technology and, in particular, eCommerce technologies has had unforeseen consequences for the relationship between managers and employees. To be able to oper...
Yvette Blount, Tanya Castleman, Paula M. C. Swatma...
The main purpose of the paper is to explore and discuss the influence of product type on customer interaction in electronic commerce. We have conducted two qualitative case studie...