—Process studies and improvement efforts typically call for new instrumentation on the process in order to collect the data they have deemed necessary. This can be intrusive and ...
Jonathan E. Cook, Lawrence G. Votta, Alexander L. ...
Abstract— Third party developed software add-ins enhance the functionality of a large variety of base software such as operating systems, word processors, spread sheets, graphics...
A new treatment of data refinement in typed lambda calculus is proposed, phrased in terms of pre-logical relations [HS99] rather than logical relations, and incorporating a constru...
Furio Honsell, John Longley, Donald Sannella, Andr...
An important technique for alleviating the memory bottleneck is data prefetching. Data prefetching solutions ranging from pure software approach by inserting prefetch instructions...
This paper describes the object-oriented development of ProtoHyperflow, a data flow visual language. We demonstrate how object-oriented software construction principles can be use...
Alex S. Fukunaga, Takayuki Dan Kimura, Wolfgang Pr...