33356 search results - page 6436 / 6672 » Models of Continual Computation |
173
click to vote
ISSTA
2006
ACM
16 years 15 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
173
click to vote
IWCMC
2006
ACM
16 years 15 days ago
2006
ACM
Cross-Layer design has been the focus of several recent research efforts. Due to the highly variable nature of the links used in wireless communication systems and the resource-po...
239
click to vote
MMSEC
2006
ACM
16 years 15 days ago
2006
ACM
We present an efficient JPEG2000-based image authentication scheme, which is robust to JPEG compression and other allowed signal processing operations. Positive wavelet-based wate...
222
click to vote
PODC
2006
ACM
16 years 15 days ago
2006
ACM
We present Grouped Distributed Queues (GDQ), the first proportional share scheduler for multiprocessor systems that scales well with a large number of processors and processes. G...
208
click to vote
PODC
2006
ACM
16 years 15 days ago
2006
ACM
Byzantine agreement algorithms typically assume implicit initial state consistency and synchronization among the correct nodes and then operate in coordinated rounds of informatio...