4963 search results - page 675 / 993 » Implementing a Categorical Information System |
180
click to vote
FPGA
2006
ACM
15 years 11 months ago
2006
ACM
This paper presents experimental measurements of the differences between a 90nm CMOS FPGA and 90nm CMOS Standard Cell ASICs in terms of logic density, circuit speed and power cons...
193
Voted
ERCIMDL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. An architecture that provides personalised filtering and dissemination of news items is presented. It is based on user profiles and it provides mechanisms that allow the ...
199
click to vote
FC
2000
Springer
15 years 11 months ago
2000
Springer
Abstract Two protocols for authentication based on symmetric key cryptography are described, where the verifier can be implemented in software completely, without the need for secu...
166
click to vote
FMCAD
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
204
Voted
ISMIS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The conventional use of databases is commonly restricted to the retrieval of factual data in the form of tuples or records. However most databases also contain metadata i...