20197 search results - page 582 / 4040 » Comparing Computational Power |
187
click to vote
DAC
2005
ACM
15 years 9 months ago
2005
ACM
In this paper we present the impact of dynamically translating any sequence of instructions into combinational logic. The proposed approach combines a reconfigurable architecture ...
182
click to vote
DAC
2005
ACM
15 years 9 months ago
2005
ACM
We propose a hierarchical mixed signal design methodology based on the principles of Platform-Based Design (PBD). The methodology is a meet-in-the-middle approach where design com...
193
click to vote
SLP
1993
15 years 8 months ago
1993
In this paper we describe a method of programspecialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. ...
188
click to vote
SLP
1994
15 years 8 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
260
click to vote
ICANN
2010
Springer
15 years 8 months ago
2010
Springer
With the term super-resolution we refer to the problem of reconstructing an image of higher resolution than that of unregistered and degraded observations. Typically, the reconstru...