932 search results - page 155 / 187 » Verifying Progress in Timed Systems |
PODS
2009
ACM
14 years 9 months ago
2009
ACM
Skyline computation is widely used in multi-criteria decision making. As research in uncertain databases draws increasing attention, skyline queries with uncertain data have also ...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
We present a hardware-based approach to improve the resilience of a computer system against the errors occurred in the main memory with the help of error detecting and correcting ...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
Children need to master reading letter-names and lettersounds before reading phrases and sentences. Pronunciation assessment of letter-names and letter-sounds read aloud is an imp...
KBSE
2009
IEEE
14 years 3 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
ARCS
2009
Springer
14 years 3 months ago
2009
Springer
In sampling based hotspot detection, performance engineers sample the running program periodically and record the Instruction Pointer (IP) addresses at the sampling. Empirically, f...