932 search results - page 60 / 187 » Verifying Progress in Timed Systems |
136
click to vote
WDAG
2005
Springer
15 years 9 months ago
2005
Springer
In a distributed system with N processes, time stamps of size N (such as vector clocks) are necessary to accurately track potential causality between events. Plausible clocks are a...
125
Voted
GCC
2006
Springer
15 years 7 months ago
2006
Springer
Computational Grid technology has been noticed as an issue to solve large-scale bioinformatics-related problems and improves data accuracy and processing speed on multiple computa...
120
Voted
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
151
click to vote
DEBS
2008
ACM
15 years 5 months ago
2008
ACM
Several new Complex Event Processing (CEP) engines have been recently released, many of which are intended to be used in performance sensitive scenarios - like fraud detection, tr...
131
Voted
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
- The increase of embedded applications complexity has demanded hardware more flexible while providing higher performance. Reconfigurable architectures and stream processing have b...