524 search results - page 49 / 105 » Application of Graph Transformation in Verification of Dynam... |
162
click to vote
SBCCI
2003
ACM
15 years 8 months ago
2003
ACM
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...
156
click to vote
IPPS
2010
IEEE
15 years 18 days ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
142
click to vote
PPOPP
2006
ACM
15 years 9 months ago
2006
ACM
In prior work, we have proposed techniques to extend the ease of shared-memory parallel programming to distributed-memory platforms by automatic translation of OpenMP programs to ...
152
Voted
FOCM
2011
14 years 10 months ago
2011
We develop a new mathematical model for describing a dynamical system at limited resolution (or finite scale), and we give precise meaning to the notion of a dynamical system havi...
113
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— Shape is one of the useful information for object detection. The human visual system can often recognize objects based on the 2-D outline shape alone. In this paper, we address...