3387 search results - page 254 / 678 » Model-Checking for Real-Time Systems |
154
Voted
JPDC
2006
15 years 7 months ago
2006
The nearest-neighbor method can successfully be applied to correct possible errors induced into bit strings transmitted over noisy communication channels or to classify samples in...
218
click to vote
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
Instruction and data address traces are widely used by computer designers for quantitative evaluations of new architectures and workload characterization, as well as by software de...
214
click to vote
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
—The research area of Multimedia Content Analysis (MMCA) considers all aspects of the automated extraction of new knowledge from large multimedia data streams and archives. In re...
226
click to vote
ECRTS
2007
IEEE
16 years 1 months ago
2007
IEEE
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...
213
click to vote
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Recently, cheap and large capacity non-volatile memory such as flash memory is rapidly replacing disks not only in embedded systems, but also in high performance servers. Unlike ...