25 search results - page 2 / 5 » cc 2002 |
CC
2002
Springer
13 years 5 months ago
2002
Springer
Vmgen automates many of the tasks of writing the virtual machine part of an interpreter, resulting in less coding, debugging and maintenance e ort. This paper gives some quantitati...
ISCI
2002
13 years 5 months ago
2002
This paper presents FC networks that are instantaneously trained neural networks that allow rapid learning of non-binary data. These networks, which generalize the earlier CC netw...
CC
2002
Springer
13 years 5 months ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
ISORC
2002
IEEE
13 years 10 months ago
2002
IEEE
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...
CC
2002
Springer
13 years 5 months ago
2002
Springer
We show that for several natural classes of "structured" matrices, including symmetric, circulant, Hankel and Toeplitz matrices, approximating the permanent modulo a prim...