To measure the productivity gained from computer-based authoring systems, account must be taken of changes in the way the work is organised. An analysis of economists' author...
William M. Newman, Margery Eldridge, Richard H. R....
Concurrent verification of hardware and software as part of the development process can shorten the time to market of complex systems. The objectives of the Virtual CPU approach i...
This paper presents an accurate model for the evaluation of the CMOS short-circuit power dissipation for shortchannel devices, on the basis of a CMOS inverter. The improvement of ...
Labros Bisdounis, Odysseas G. Koufopavlou, Spirido...
Traditional first-class continuation mechanisms allow a captured continuation to be invoked multiple times. Many continuations, however, are invoked only once. This paper introduc...
A memory-adaptive sort is able to dynamically change the amount of memory used during sorting. The method described in this paper adjusts memory usage according to input size and ...