4359 search results - page 297 / 872 » Automated Pipeline Design |
164
Voted
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
157
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
In the context of automated feeding (orienting) of industrial parts, we study the algorithmic design of traps in the bowl feeder track that filter out all but one orientation of ...
198
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
184
click to vote
WCRE
2005
IEEE
16 years 9 days ago
2005
IEEE
The use of design patterns in a software system can provide strong indications about the rationale behind the system’s design. As a result, automating the detection of design pa...
143
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
This paper describes the design and implementation of the NUMAchine multiprocessor. As the market for CC-NUMA multiprocessors expands, this research project provides a timely arch...