Sciweavers

2621 search results - page 370 / 525
» Near orders and codes
Sort
View
ISCAS
1999
IEEE
70views Hardware» more  ISCAS 1999»
15 years 10 months ago
On optimization of filter banks with denoising applications
The problem of optimization of subband coders for given input statistics has received considerable attention in recent literature. The goal in these works has been to maximize the...
Sony Akkarakaran, P. P. Vaidyanathan
WCRE
1999
IEEE
15 years 10 months ago
A Formal Approach for Reverse Engineering: A Case Study
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
Gerald C. Gannod, Betty H. C. Cheng
LCPC
1999
Springer
15 years 10 months ago
Instruction Scheduling in the Presence of Java's Runtime Exceptions
One of the challenges present to a Java compiler is Java’s frequent use of runtime exceptions. These exceptions affect performance directly by requiring explicit checks, as wel...
Matthew Arnold, Michael S. Hsiao, Ulrich Kremer, B...
ICFP
1998
ACM
15 years 10 months ago
Functional Differentiation of Computer Programs
We present a purely functional implementation of the computational differentiation tools — the well known numeric (i.e., not symbolic) techniques which permit one to compute poin...
Jerzy Karczmarczuk
CADE
1998
Springer
15 years 10 months ago
A Proof Environment for the Development of Group Communication Systems
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
Christoph Kreitz, Mark Hayden, Jason Hickey