7393 search results - page 202 / 1479 » Synthesis-for-testability using transformations |
133
click to vote
CGO
2009
IEEE
15 years 10 months ago
2009
IEEE
The development of high-performance libraries has become extraordinarily difficult due to multiple processor cores, vector instruction sets, and deep memory hierarchies. Often, t...
134
Voted
WDAG
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper studies the impact of omission failures on asynchronous distributed systems with crash-stop failures. We provide two different transformations for algorithms,...
145
Voted
SACMAT
2006
ACM
15 years 9 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
113
Voted
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
We propose an approach for a robot to imitate the gestures of a human demonstrator. Our framework consists solely of two components: a Sensory-Motor Map (SMM) and a View-Point Tra...
155
click to vote
ISMIS
2003
Springer
15 years 8 months ago
2003
Springer
In this paper, we extend the work done by Choubey and Raghavan, which proposed an approach to content-based image retrieval that uses the space transformation methods proposed by G...