762 search results - page 12 / 153 » Conditionally correct superoptimization |
IPCV
2007
13 years 11 months ago
2007
This paper presents a novel method for performing the registration and gamma correction of images in a simultaneous manner. The image registration and relative gamma estimation pro...
DNA
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. For robust molecular implementation of tile-based algorithmic self-assembly, methods for reducing errors must be developed. Previous studies suggested that by control of ...
ICDCS
1998
IEEE
14 years 2 months ago
1998
IEEE
Novel real-time applications require highperformance real-time distributed systems, and therefore high-performance real-time networks. We examine a Hard Real-Time Distributed Mult...
POPL
1995
ACM
14 years 1 months ago
1995
ACM
The goal of program transformation is to improve efficiency while preserving meaning. One of the best known transformation techniques is Burstall and Darlington’s unfold-fold me...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
In this paper we investigate the affect of various acceptance conditions on recogniser membrane systems without dissolution. We demonstrate that two particular acceptance conditio...