8874 search results - page 404 / 1775 » A New Implementation of Automath |
169
click to vote
CSMR
1998
IEEE
15 years 11 months ago
1998
IEEE
Claims concerning the maintainability of object oriented software usually refer to encapsulation and inheritance mechanisms. However, if objects are perceived only from the code l...
158
click to vote
ICLP
1998
Springer
15 years 11 months ago
1998
Springer
Implementing a compiler for a language with nondeterministic features is known to be a difficult task. This paper presents two new functions setChoicePoint and fail that extend th...
170
click to vote
ECBS
1997
IEEE
15 years 11 months ago
1997
IEEE
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...
160
click to vote
IWMM
1998
Springer
15 years 11 months ago
1998
Springer
We show that for 8 real and varied C and C++ programs, several conventional dynamic storage allocators provide nearzero fragmentation, once we account for overheads due to impleme...
174
click to vote
ICC
1997
IEEE
15 years 11 months ago
1997
IEEE
: Practical realizations of the optimum closed loop structure for coherent demodulation of QPSK signals demands the approximation of the hyperbolic tangent nonlinearity (Tanh) with...