1,188,019 Hits in 7.0 sec

Using Genetic Programming and High Level Synthesis to Design Optimized Datapath [chapter]

Sérgio G. Araújo, A. Mesquita, Aloysio C. P. Pedroza
2003 Lecture Notes in Computer Science  
The methodology uses Genetic Programming in addition to high-level synthesis tools to automatically improve design structural quality (area measure).  ...  This paper presents a methodology to design optimized electronic digital systems from high abstraction level descriptions.  ...  Design Methodology The proposed design methodology evolves independent VHDL programs trying to breed a solution (hardware description) that implement the desired functionality and satisfies design constraints  ... 
doi:10.1007/3-540-36553-2_39 fatcat:madkifkpznhoxflirl5dk4io5y

Book reports

1990 Computers and Mathematics with Applications  
Hence, breaking with custom, we also publish a complete table of contents for each such book, but no review of it as such. We welcome our readers' comments concerning this enterprise.  ...  Publishers should submit books intended for review  ...  An evaluation of the Warnier-Orr design methodology More automated techniques 37. A higher level of automation 38. HOS methodology 39. The impact of design automation 40.  ... 
doi:10.1016/0898-1221(90)90243-d fatcat:ae75demetfaknnps3pvempmqsi

Towards automating software maintenance [chapter]

Stanislaw Jarzabek, Kelly Tham
1991 Lecture Notes in Computer Science  
Our research on a methodology for program maintenance covers the whole maintenance life-cycle.  ...  We present a methodological framework for program maintenance and discuss detailed techniques for specific maintenance tasks.  ...  ACKNOWLEDGEMENTS The authors are grateful to the management of CSA Research for providing support and creating an encouraging atmosphere for this research progranmm.  ... 
doi:10.1007/3-540-54059-8_93 fatcat:bkppzxyjgngzjjwrafjgctisha

Combining bond-graphs with genetic programming for unified/automated design of mechatronic or multi domain dynamic systems

Saheeb Ahmed Kayani, Muhammad Afzaal Malik
2007 Proceedings of the 2007 GECCO conference companion on Genetic and evolutionary computation - GECCO '07  
The simulation scheme can be augmented to synthesize designs for mechatronic systems employing genetic programming as a tool for open ended search.  ...  This research paper presents results of an experiment developed to combine Bond-Graphs with genetic programming for unified and automated design of mechatronic or multi domain dynamic systems.  ...  A brief summary of the methodology followed for implementing the automated design scheme is included. a. A Bond-Graph model is specified. b.  ... 
doi:10.1145/1274000.1274019 dblp:conf/gecco/KayaniM07 fatcat:thb2lqrycngxvhehv5q3ockahm

Programming Paradigms, Turing Completeness and Computational Thinking

Greg Michaelson
2020 The Art, Science, and Engineering of Programming  
The notion of programming paradigms, with associated programming languages and methodologies, is a well established tenet of Computer Science pedagogy, enshrined in international curricula.  ...  However, this notion sits ill with Kuhn's classic conceptualisation of a scientific paradigm as a dominant world view, which supersedes its predecessors through superior explanatory power.  ...  Acknowledgements This paper grew from a seminar on Programming Paradigms, for Computer Science school teachers in the North West of England in December .  ... 
doi:10.22152/ fatcat:uyba4plokndobg7i2ob6agom6u

Fuxi: An Agile Development Environment for Embedded Systems

Zhongbin Wang
2007 Computer Software and Applications Conference (COMPSAC) Proceedings of the IEEE International  
Different concerns need different programming paradigms. At the functional aspect, we takes declarative programming, and at the technical aspects procedural programming.  ...  An abstract machine, as a pivotal of the architecture, weaves all these aspects dynamically at runtime, to achieve all the functionalities of the system.  ...  AN AGILE METHODOLOGY FOR ES The pillar of our new design methodology is to separate the system into two orthogonal dimensions: functionality and technicality; its core idea is that different dimensions  ... 
doi:10.1109/compsac.2007.124 dblp:conf/compsac/Wang07 fatcat:zdouu3ikqvgtlb2dn7w6xhllsu

A Web-Based Methodology for Product Design Evaluation and Optimisation

X. Dreze, F. Zufryden
1998 Journal of the Operational Research Society  
'° developed a comprehensive new product design methodology (POSSE) whose optimisation procedure was based on an objective function generated by a surface response analysis.  ...  The methodology uses limited dependent variable methods to develop response models that provide the basis for the development of objective functions for an optimisation model.  ... 
doi:10.2307/3010527 fatcat:n6soclob7nex3k2pjmil6grqcm

Tail recursive programming by applying generalization

Manuel Rubio-Sánchez
2010 Proceedings of the fifteenth annual conference on Innovation and technology in computer science education - ITiCSE '10  
This paper proposes a simple methodology for designing tail recursion functions by using a declarative approach and the concept of function generalization.  ...  Furthermore, students found the methodology easy to learn and apply, simpler than more sophisticated formal methods, and described it as fast and methodic or mechanical, as it involves a sequence of well-defined  ...  Formal Description of the Methodology The methodology for designing a tail recursive function f , which is a generalization of some function g, can be described with the following algorithm: 1.  ... 
doi:10.1145/1822090.1822119 dblp:conf/iticse/Rubio-Sanchez10 fatcat:jhttufkrhff7fj3lkv72nrp4i4

An Ameliorated Methodology for the design of Object Structures from legacy 'C' Program

Dr. Shivanand M. Handigund, Rajkumar N. Kulkarni
2010 International Journal of Computer Applications  
The methodology blends the reverse engineering and re-design stages into a unified process.  ...  This paper attempts to develop a reengineering methodology that automatically abstracts the view elements like attributes, functional dependencies, interrelationships between group of attributes and actor"s  ...  The methodology for the abstraction of functional dependencies and the design of object structures from the "C" program is explained in the following steps: ABSTRACTION OF CONTROL FLOW GRAPH FROM 'C'  ... 
doi:10.5120/281-443 fatcat:nidv3jidrbdt5bnamuy2dgma3i

A brief history of the object-oriented approach

Luiz Fernando Capretz
2003 Software engineering notes  
Also presented are a survey and a classification scheme for object-oriented methodologies.  ...  Since the object-oriented paradigm promised to revolutionize software development, in the 1990s, demand for object-oriented software systems increased dramatically; consequently, several methodologies  ...  First, some methodologies dealt with functions; they emphasized refinement through functional decomposition as, for example, Structured Design [37] , HIPO [38] and Stepwise Refinement [39] .  ... 
doi:10.1145/638750.638778 fatcat:y4eik44zmbb6rk47tf7e3m64om

A design methodology for reliable software systems

B. H. Liskov
1972 Proceedings of the December 5-7, 1972, fall joint computer conference, part I on - AFIPS '72 (Fall, part I)  
A. Clapp and D. L. Parnas for many helpful criticisms.  ...  structure must be set up accordingly.* CRITERIA FOR A GOOD DESIGN The design methodology is presented in two parts.  ...  CONCLUSIONS This paper has described a design methodology for the development of reliable software systems.  ... 
doi:10.1145/1479992.1480018 dblp:conf/afips/Liskov72 fatcat:staf2zu63ra3nlffnkn6axim2i

Page 43 of Journal of Systems Management Vol. 23, Issue 1 [page]

1972 Journal of Systems Management  
The home garden for commercial applications pro- gramming is business systems analysis, Here we find a theory of program design and a methodology for applications programming.  ...  A methodology for applications programming must be applicable in either environment—as a guide to the design of a large piece of a computer-job in the former installation, and as a guide to the design  ... 


Roland Backhouse, José Oliveira
2002 Science of Computer Programming  
, the binding theme being the quest for the combination of precision and concision in design methodologies for error-free computer software.  ...  The method is applied to the design of a program to sort items on a conveyor belt according to size.  ... 
doi:10.1016/s0167-6423(02)00027-8 fatcat:vbv6p5zccbesfh3golsmed5fzu

A scalable application-specific processor synthesis methodology

F. Sun, S. Ravi, A. Raghunathan, N.K. Jha
2003 ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)  
We present a scalable methodology for the synthesis of a custom processor from an embedded software program.  ...  We motivate the need for such a methodology, and describe the algorithms used for the critical steps, including hardware resource budgeting, local optimizations, and global exploration.  ...  Acknowledgments: This work was supported by the NJCST Center for Embedded System-on-a-chip Design.  ... 
doi:10.1109/iccad.2003.159702 fatcat:hzp77f2e5jf4dgorarwx7gycu4

Stepwise refinement revisited

Vaclav Rajlich
1985 Journal of Systems and Software  
To explain the third criterion, we assume that a program design is a sequence of decisions that lead to a finished program.  ...  The quality of a software design methodology can be characterized by the following interrelated criteria: 1. The generality of the methodology, i.e., the size of the domain of application. 2.  ...  all decisions to be made during a program design. Conversely, if it gives poor advice or no advice for some decisions, it is inconsistent.  ... 
doi:10.1016/0164-1212(85)90009-3 fatcat:h4wfparrfzdo7pmn64qaom2uwu
« Previous Showing results 1 — 15 out of 1,188,019 results