Sciweavers

12334 search results - page 103 / 2467
» The Use of C
Sort
View
131
Voted
CC
1999
Springer
116views System Software» more  CC 1999»
15 years 8 months ago
A Programmable ANSI C Transformation Engine
Abstract. Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementin...
Maarten Boekhold, Ireneusz Karkowski, Henk Corpora...
CC
1999
Springer
320views System Software» more  CC 1999»
15 years 8 months ago
Floating Point to Fixed Point Conversion of C Code
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...
Andrea G. M. Cilio, Henk Corporaal
FM
2008
Springer
192views Formal Methods» more  FM 2008»
15 years 5 months ago
CoVaC: Compiler Validation by Program Analysis of the Cross-Product
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
Anna Zaks, Amir Pnueli
ECIS
2004
15 years 5 months ago
Employee development strategies in the B2C banking environment: Two Australian case studies
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...
JTAER
2008
200views more  JTAER 2008»
15 years 4 months ago
Exploring Relationships between Products Characteristics and B2C Interaction in Electronic Commerce
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...
Karin Axelsson