2343 search results - page 360 / 469 » Visual-Concept Search Solved |
163
click to vote
ICCD
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
163
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
We present new parallel algorithms for 3D reconstruction of objects from 2D projections and their application for the determination of the structure of macromolecules from electro...
179
click to vote
CP
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we present a Lagrange-multiplier formulation of discrete constrained optimization problems, the associated discrete-space first-order necessary and sufficient condit...
181
click to vote
LCTRTS
1999
Springer
15 years 10 months ago
1999
Springer
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...
170
click to vote
CHI
1998
ACM
15 years 10 months ago
1998
ACM
Writing scripts (often called “macros”) can be helpful for automating repetitive tasks. Scripting facilities for text editors like Emacs and Microsoft Word have been widely us...