1128 search results - page 189 / 226 » A Case for Buffer Servers |
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
106
click to vote
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
We consider a wireless collision channel, shared by a finite number of mobile users who transmit to a common base station using a random access protocol. Mobiles are selfoptimizin...
119
click to vote
CASES
2010
ACM
14 years 9 months ago
2010
ACM
Although cryptographic algorithms are designed to resist at least thousands of years of cryptoanalysis, implementing them with either software or hardware usually leaks additional...
106
click to vote
CASES
2010
ACM
14 years 9 months ago
2010
ACM
Dynamic binary translators (DBTs) are becoming increasingly important because of their power and flexibility. However, the high memory demands of DBTs present an obstacle for all ...
120
click to vote
SIGMOD
2012
ACM
13 years 2 months ago
2012
ACM
Linked Data (LD) provides principles for publishing data that underpin the development of an emerging web of data. LD follows the web in providing low barriers to entry: publisher...