Sciweavers

11200 search results - page 1647 / 2240
» An Object-oriented Optimization System
Sort
View
POPL
2000
ACM
15 years 10 months ago
Generalized Certificate Revocation
We introduce a language for creating and manipulating certificates, that is, digitally signed data based on public key cryptography, and a system for revoking certificates. Our ap...
Carl A. Gunter, Trevor Jim
AISB
1995
Springer
15 years 10 months ago
The Ant Colony Metaphor for Searching Continuous Design Spaces
This paper describes a form of dynamical computational system--4he ant colony---and presents an ant colony model for continuous space optimisation problems. The ant colony metapho...
George Bilchev, Ian C. Parmee
SC
2000
ACM
15 years 10 months ago
Hardware Prediction for Data Coherency of Scientific Codes on DSM
This paper proposes a hardware mechanism for reducing coherency overhead occurring in scientific computations within DSM systems. A first phase aims at detecting, in the address s...
Jean-Thomas Acquaviva, William Jalby
169
Voted
ASPDAC
1995
ACM
127views Hardware» more  ASPDAC 1995»
15 years 10 months ago
Reclocking for high-level synthesis
In this paper we describe, a powerful post-synthesis approach called reclocking, for performance improvement by minimizing the total execution time. By back annotating the wire del...
Pradip K. Jha, Nikil D. Dutt, Sri Parameswaran
VISUAL
2000
Springer
15 years 10 months ago
Chinese Cursive Script Character Image Retrieval Based on an Integrated Probability Function
Abstract. Often in content-based image retrieval, a single image attribute may not have enough discriminative information for retrieval. On the other hand, when multiple features a...
Irwin King, Zhong Jin, David Yuk-Ming Chan
« Prev « First page 1647 / 2240 Last » Next »