4698 search results - page 646 / 940 » Making Functionality More General |
154
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
180
click to vote
CA
2003
IEEE
15 years 12 months ago
2003
IEEE
Mapping of features such as texture and geometric detail is an important tool that enhances realism of surface geometry in graphics and animation. This essentially involves a tran...
167
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, a simulation-based synthesis tool, AMIGO, for analog cell sizing is presented. AMIGO is based upon genetic optimization techniques adapted to circuit sizing. A fram...
174
click to vote
DSRT
2003
IEEE
15 years 12 months ago
2003
IEEE
Peer-to-peer communication is emerging as one of the most potentially disruptive technologies in the networking sector. If the interest in such technologies as Napster, Morpheus a...
155
click to vote
MICRO
2003
IEEE
15 years 12 months ago
2003
IEEE
Application-specific extensions to the computational capabilities of a processor provide an efficient mechanism to meet the growing performance and power demands of embedded appl...