7892 search results - page 123 / 1579 » Programming with Models |
IEAAIE
1999
Springer
15 years 5 months ago
1999
Springer
This paper introduces a new approach in the debugging of hardware designs. The design is given as a VHDL program and converted in a component connection model. The conversion is si...
140
click to vote
FMOODS
2008
15 years 2 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
We present an algorithm to automatically design posynomial models for parameters of the MOS transistors using simulation data. These models improve the accuracy of the Geometric P...
100
click to vote
ECOOP
2000
Springer
15 years 5 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
110
click to vote
ECOOPW
1999
Springer
15 years 5 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...