Sciweavers

25 search results - page 2 / 5
» cc 2002
Sort
View
CC
2002
Springer
173views System Software» more  CC 2002»
13 years 10 months ago
Building an Interpreter with Vmgen
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...
M. Anton Ertl, David Gregg
ISCI
2002
120views more  ISCI 2002»
13 years 10 months ago
A class of instantaneously trained neural networks
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...
Subhash C. Kak
CC
2002
Springer
107views System Software» more  CC 2002»
13 years 10 months ago
Modular Static Program Analysis
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;...
Patrick Cousot, Radhia Cousot
ISORC
2002
IEEE
14 years 3 months ago
Program Instrumentation for Debugging and Monitoring with AspectC++
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...
Daniel Mahrenholz, Olaf Spinczyk, Wolfgang Schr&ou...
CC
2002
Springer
126views System Software» more  CC 2002»
13 years 10 months ago
On the hardness of approximating the permanent of structured matrices
We show that for several natural classes of "structured" matrices, including symmetric, circulant, Hankel and Toeplitz matrices, approximating the permanent modulo a prim...
Bruno Codenotti, Igor Shparlinski, Arne Winterhof