Result Details
Automata of Evolvable Computational Machines
        SEKANINA, L. Automata of Evolvable Computational Machines. Proc. ot 8th conference Student EEICT. Brno: Brno University of Technology, 2002. p. 491-495.  ISBN: 80-214-2116-9.
    
                Type
            
        
                conference paper
            
        
                Language
            
        
                English
            
        
            Authors
            
        
                Sekanina Lukáš, prof. Ing., Ph.D., FIT (FIT)
            
        
                    Abstract
            
        This paper introduces a formal definition of the evolvable computational machine. Then the automata that precisely define its computation are derived. Finally, a practical impact to implementation in the field of evolvable hardware is shown.
                Keywords
            
        evolvable computational machines, formal approach
                URL
            
        
                Published
            
            
                    2002
                    
                
            
                    Pages
                
            
                        491–495
                
            
                        Proceedings
                
            
                    Proc. ot 8th conference Student EEICT
                
            
                    Conference
                
            
                    Student EEICT 2002
                
            
                    ISBN
                
            
                    80-214-2116-9
                
            
                    Publisher
                
            
                    Brno University of Technology
                
            
                    Place
                
            
                    Brno
                
            
                    BibTeX
                
            @inproceedings{BUT10005,
  author="Lukáš {Sekanina}",
  title="Automata of Evolvable Computational Machines",
  booktitle="Proc. ot 8th conference Student EEICT",
  year="2002",
  pages="491--495",
  publisher="Brno University of Technology",
  address="Brno",
  isbn="80-214-2116-9",
  url="http://www.fit.vutbr.cz/~sekanina/publ/eeict02/eeict02.pdf"
}
                Projects
            
        
        
            
        
    
    
        Formal Approaches in Digital Design Diagnostics - Testable Design Verification, GACR, Standardní projekty, GA102/01/1531, start: 2001-01-01, end: 2003-12-31, completed
            
        
                Research groups
            
        
                Departments