7527 search results - page 1300 / 1506 » Design and implementation of the KioskNet system |
174
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...
158
click to vote
CGI
2001
IEEE
15 years 11 months ago
2001
IEEE
Anti-aliasing in form factor computation and precise determination of shadow boundaries are important issiresfor Radiosity method. A-Buffer is a technique introduced by Carpenter ...
161
click to vote
FMCAD
2000
Springer
15 years 10 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...
223
click to vote
FOSAD
2000
Springer
15 years 10 months ago
2000
Springer
Access control is the process of mediating every request to resources and data maintained by a system and determining whether the request should be granted or denied. The access co...
215
click to vote
FSTTCS
2000
Springer
15 years 10 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...