8874 search results - page 399 / 1775 » A New Implementation of Automath |
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
—Integrated circuit process technology is entering the ultra deep submicron era. At this level, interconnect structure becomes very stiff and the metal resistance shielding effec...
187
click to vote
ICCAD
2002
IEEE
15 years 12 months ago
2002
IEEE
The paper describes the folding method of logic functions to reduce the size of memories for keeping the functions. The folding is based on the relation of fractions of logic func...
153
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
OAI is designed with a low-barrier technology approach, thus allowing institutions to provide content metadata with little effort. On the other hand, search capabilities are very ...
177
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a specification for a new, localized group membership service that maintains the membership status of adjacent nodes – called neighbors – in a mobile distributed s...
233
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Architectural patterns and styles represent important design decisions and thus are valuable abstractions for architecture recovery. Recognizing them is a challenge because styles...