1960 search results - page 16 / 392 » The Logic of Large Enough |
ISCA
2012
IEEE
11 years 10 months ago
2012
IEEE
When multiple processor (CPU) cores and a GPU integrated together on the same chip share the off-chip main memory, requests from the GPU can heavily interfere with requests from t...
IWEC
2007
13 years 9 months ago
2007
Large screen display systems are common display systems nowadays. Especially projector-based PC cluster large screen display systems share most of large screen display system marke...
SLOGICA
2010
13 years 6 months ago
2010
Abstract. The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. T...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
A novel method to solve the state encoding problem in Signal Transition Graphs is presented. It is based on the structural theory of Petri nets and can be applied to large specifi...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
? With the proliferation of digital cameras and self-publishing of photos, automatic detection of image orientation will become an important part of photo management systems. In th...