1700 search results - page 133 / 340 » Specifying and implementing refactorings |
143
Voted
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
159
Voted
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a complete top-down design of a low-power multi-channel clock recovery circuit based on gated current-controlled oscillators. The flow includes several tools and method...
132
Voted
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Increasing reuse opportunities is a well-known problem for software designers as well as for hardware designers. Nonetheless, current software and hardware engineering practices h...
128
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
106
Voted
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe an algorithm for self-organizing connections from a source array to a target array of neurons that is inspired by neural growth cone guidance. Each source neuron proje...