Sciweavers

8141 search results - page 341 / 1629
» Higher Order Generalization
Sort
View
ICSM
1996
IEEE
15 years 11 months ago
Using Informal and Formal Techniques for the Reverse Engineering of C Programs
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
RT
1997
Springer
15 years 11 months ago
An Empirical Comparison of Progressive and Wavelet Radiosity
Abstract. This paper presents a comparison of basic progressive and wavelet radiosity algorithms. Several variants of each algorithm were run on a set of scenes at several paramete...
Andrew J. Willmott, Paul S. Heckbert
INFOCOM
1994
IEEE
15 years 10 months ago
A Comparative Evaluation of Space Priority Strategies in ATM Networks
Current standards reserve one bit in the ATM cell header to indicate loss priority. When congestion occurs ai a queue lower priority cells can be discarded in order to insure a sm...
Subhash Suri, David Tipper, Gopal Meempat
MFCS
1993
Springer
15 years 10 months ago
Real Number Computability and Domain Theory
We present the different constructive definitions of real number that can be found in the literature. Using domain theory we analyse the notion of computability that is substant...
Pietro Di Gianantonio
SC
1993
ACM
15 years 10 months ago
Volume rendering of 3D scalar and vector fields at LLNL
Simulation of complex 3-dimensional phenomena generate data sets which are hard to comprehend using conventional 2-dimensionally oriented visualization tools. One way to overcome ...
Roger Crawfis, Nelson L. Max, Barry G. Becker, Bri...