Sciweavers

3984 search results - page 694 / 797
» A Model-Driven Transformation Method
Sort
View
ICCAD
1999
IEEE
80views Hardware» more  ICCAD 1999»
15 years 8 months ago
What is the cost of delay insensitivity?
Deep submicron technology calls for new design techniques, in which wire and gate delays are accounted to have equal or nearly equal effect on circuit behaviour. Asynchronous spee...
Hiroshi Saito, Alex Kondratyev, Jordi Cortadella, ...
150
Voted
CP
1999
Springer
15 years 8 months ago
The Theory of Discrete Lagrange Multipliers for Nonlinear Discrete Optimization
In this paper we present a Lagrange-multiplier formulation of discrete constrained optimization problems, the associated discrete-space first-order necessary and sufficient condit...
Benjamin W. Wah, Zhe Wu
IWPC
1999
IEEE
15 years 8 months ago
Recovery of Jump Table Case Statements from Binary Code
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...
Cristina Cifuentes, Mike Van Emmerik
ICCVW
1999
Springer
15 years 8 months ago
Uncertainty Modeling for Optimal Structure from Motion
The parameters estimated by Structure from Motion SFM contain inherent indeterminacies which we call gauge freedoms. Under a perspective camera, shape and motion parameters are o...
Daniel D. Morris, Ken-ichi Kanatani, Takeo Kanade
SBRN
1998
IEEE
15 years 8 months ago
A Neural Architecture for the Identification of Number Sequences
This paper describes an architecture based on spatiotemporal networks that identifies sequences of numbers. This architecture incorporates an input layer that transforms (by means...
Juan Moreno García, Gabriel Sebastiá...