Search
Now showing items 1-10 of 3031
Automatic code generation for microcontrollers from place-transition Petri net models
(2011-12-01)
This paper describes a program for the automatic generation of code for Intel's 8051 microcontroller. The code is generated from a place-transition Petri net specification. Our goal is to minimize programming time. The ...
Automatic code generation for microcontrollers from place-transition Petri net models
(2011-12-01)
This paper describes a program for the automatic generation of code for Intel's 8051 microcontroller. The code is generated from a place-transition Petri net specification. Our goal is to minimize programming time. The ...
LUD: An Automatic Scoring and Feedback System for Programming Assignments
The increase in usage of online learning systems, has caused a renewed interest in using computers to provide more support to the student's learning experiences, allow instructors to focus on activities that require human ...
Improving Tabu Search Performance by Means of Automatic Parameter Tuning
(IEEE Canada, 2016)
Integrating open source codes for solid modeling and automatic mesh generation in FEM applications
(2011-10-31)
The applications of the Finite Element Method (FEM) for three-dimensional domains are already well documented in the framework of Computational Electromagnetics. However, despite the power and reliability of this technique ...
Integrating open source codes for solid modeling and automatic mesh generation in FEM applications
(2011-10-31)
The applications of the Finite Element Method (FEM) for three-dimensional domains are already well documented in the framework of Computational Electromagnetics. However, despite the power and reliability of this technique ...
Correction of functional logic programs
(SPRINGER, 2003-01-01)
We propose a new methodology for synthesizing correct functional logic programs. We aim to create an integrated development environment in which it is possible to debug a program and correct it automatically. We start from ...