4767 search results - page 694 / 954 » Structures for Abstract Rewriting |
105
Voted
EUROPAR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Hardware Transactional Memory (HTM) gives software developers the opportunity to write parallel programs more easily compared to any previous programming method, and yiel...
125
click to vote
FMICS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
FSE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The slide attack is applicable to ciphers that can be represented as an iterative application of the same keyed permutation. The slide attack leverages simple attacks on ...
137
Voted
HPCC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Even though there have been many research works on distributed deadlock detection and recovery mechanisms, the multi-cycle deadlock problems are not extensively studied y...
95
Voted
HUC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. While the user-centered design methods we bring from humancomputer interaction to ubicomp help sketch ideas and refine prototypes, few tools or techniques help explore di...