25156 search results - page 123 / 5032 » Applications for conscious systems |
DAC
1998
ACM
16 years 6 months ago
1998
ACM
142
click to vote
IEEEIAS
2009
IEEE
16 years 10 days ago
2009
IEEE
-- Radio Frequency Identification (RFID) is a contactless technology, it is considered the way to replace the barcode, since the barcode data is read with line of sight and limits ...
167
click to vote
APCSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper introduces a method which can be used to map applications written in a high level source language program, like C, to a coarse grain reconfigurable architecture, MONTIU...
135
click to vote
ISBI
2008
IEEE
16 years 6 months ago
2008
IEEE
Accurate system modeling in tomographic image reconstruction has been shown to reduce the spatial variance of resolution and improve quantitative accuracy. System modeling can be ...
164
click to vote
SP
2009
IEEE
16 years 13 days ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...