269 search results - page 43 / 54 » Computational soundness of observational equivalence |
111
click to vote
IEEEPACT
2000
IEEE
15 years 6 months ago
2000
IEEE
Multimedia instruction set extensions have become a prominent feature in desktop microprocessor platforms, promising superior performance on a wide range of floating-point and int...
131
Voted
FCT
1999
Springer
15 years 6 months ago
1999
Springer
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
111
click to vote
DAC
1996
ACM
15 years 6 months ago
1996
ACM
This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that "behave uniforml...
107
click to vote
PODC
1994
ACM
15 years 6 months ago
1994
ACM
In this paper, we investigate the practical performance of lock-free techniques that provide synchronization on shared-memory multiprocessors. Our goal is to provide a technique t...
161
click to vote
GG
2008
Springer
15 years 2 months ago
2008
Springer
Behavior preservation, namely the fact that the behavior of a model is not altered by the transformations, is a crucial property in refactoring. The most common approaches to behav...