A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
Filters
Using Genetic Programming and High Level Synthesis to Design Optimized Datapath
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1991
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2007
Proceedings of the 2007 GECCO conference companion on Genetic and evolutionary computation - GECCO '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2020
The Art, Science, and Engineering of Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2002.06178v1 fatcat:lej6borcljcs5eli6l7jhhcsxm
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/programming-journal.org/2020/4/4
fatcat:uyba4plokndobg7i2ob6agom6u
Fuxi: An Agile Development Environment for Embedded Systems
2007
Computer Software and Applications Conference (COMPSAC) Proceedings of the IEEE International
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1998
Journal of the Operational Research Society
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
'° 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
2010
Proceedings of the fifteenth annual conference on Innovation and technology in computer science education - ITiCSE '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2010
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2003
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
1972
Proceedings of the December 5-7, 1972, fall joint computer conference, part I on - AFIPS '72 (Fall, part I)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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 ...
Preface
2002
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
, 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
2003
ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1985
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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