3130 search results - page 376 / 626 » Design Correctness of Digital Systems |
190
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents a new distributed computing framework for Many Task Computing (MTC) applications, based on the Extensible Messaging and Presence Protocol (XMPP). A lightweight...
153
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper proposes a blind audio watermark extraction technique that allows performing watermark decoding while installing data synchronization. The proposed decoding algorithm e...
222
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...
149
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
—In network-on-chip, computing worst-case delay bound for packet delivery is crucial for designing predictable systems but yet an intractable problem due to complicated resource ...
156
click to vote
CSMR
2008
IEEE
16 years 1 months ago
2008
IEEE
Databases are continuously evolving environments, where design constructs are added, removed or updated rather often. Small changes in the database configurations might impact a l...