Sciweavers

912 search results - page 42 / 183
» Design Patterns: Abstraction and Reuse of Object-Oriented De...
Sort
View
ZUM
2005
Springer
206views Formal Methods» more  ZUM 2005»
15 years 11 months ago
Component Reuse in B Using ACL2
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ï¬...
Yann Zimmermann, Diana Toma
EUROGP
2004
Springer
135views Optimization» more  EUROGP 2004»
15 years 11 months ago
Reusing Code in Genetic Programming
Abstract. In this paper we propose an approach to Genetic Programming based on code reuse and we test it in the design of combinational logic circuits at the gate-level. The circui...
Edgar Galván López, Riccardo Poli, C...
EUROMICRO
2007
IEEE
16 years 11 days ago
Compatibility and reuse in component-based systems via type and unit inference
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
Christian Kühnel, Andreas Bauer 0002, Michael...
JISE
2006
73views more  JISE 2006»
15 years 6 months ago
TeMeFr: Towards a Reuse-Based Development for Conference-Oriented Telemedicine Systems
formation driven paradigm that tends to fail in capturing suitable abstraction when developing conference-oriented telemedicine systems for assisting the proceeding of telemedicine...
Hewijin Christine Jiau, Jinghong Cox Chen, Kuo-Fen...
ADAEUROPE
2000
Springer
15 years 10 months ago
On Persistent and Reliable Streaming in Ada
Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/ restoring is a very active res...
Jörg Kienzle, Alexander B. Romanovsky