5090 search results - page 537 / 1018 » Constructing Strategies for Programming |
159
Voted
COMPSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach a...
180
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
– This paper presents the motion analysis, design and position control of a novel, low cost, sliding micro-robot, which is actuated by centripetal forces generated by robot mount...
176
click to vote
IPPS
2006
IEEE
16 years 29 days ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
169
click to vote
ASPDAC
2006
ACM
16 years 28 days ago
2006
ACM
In recent years, the X-Architecture is introduced to obtain better performance for integrated circuit physical design. This paper reformulates the global routing problem in X-Archi...
199
click to vote
ICMCS
2005
IEEE
16 years 16 days ago
2005
IEEE
In this paper, we use the three-dimensionaltopological shape information for human face identification. We propose a new method to represent 3D faces as a topological graph. Fine...