4421 search results - page 359 / 885 » Libraries |
183
Voted
TCAD
1998
15 years 5 months ago
1998
Abstract—This paper presents an aggressive optimization technique targeting combinational logic circuits. Starting from an initial implementation mapped on a given technology lib...
203
click to vote
SP
2002
IEEE
15 years 5 months ago
2002
IEEE
When Java was first introduced, there was a perception that its many benefits came at a significant performance cost. In the particularly performance-sensitive field of numerical ...
169
Voted
TIP
2002
15 years 5 months ago
2002
In this paper, we examine the problem of locating an object in an image when size and rotation are unknown. Previous work has shown that with known geometric parameters, an image r...
130
click to vote
TOIS
2002
15 years 5 months ago
2002
Data archiving systems rely on replication to preserve information. This paper discusses how a network of autonomousarchiving sites can trade data to achievethe most reliable repl...
189
click to vote
MICS
2008
15 years 5 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...