381 search results - page 45 / 77 » Tableaux for Acceptance Logic |
75
Voted
ICCAD
1996
IEEE
15 years 6 months ago
1996
IEEE
We describe an algorithm for the synthesis and optimization of interface circuits for embedded system components such as microprocessors, memory ASIC, and network subsystems with ...
114
Voted
DMIN
2006
15 years 3 months ago
2006
- As is generally accepted, the most important feature that a Knowledge Discovery in Database (KDD) system must possess is, to be able to discover patterns that are "novel&quo...
98
Voted
MMMACNS
2010
Springer
15 years 7 days ago
2010
Springer
Abstract. Partner key management (PKM) is an interoperable credential management protocol for online commercial transactions of high value. PKM reinterprets traditional public key ...
130
Voted
ICDCS
2011
IEEE
14 years 1 months ago
2011
IEEE
—Interoperability remains a challenging and growing problem within distributed systems. A range of heterogeneous network and middleware protocols which cannot interact with one a...
150
click to vote
ISCA
2012
IEEE
13 years 4 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...