2025 search results - page 253 / 405 » Minimal-Cut Model Composition |
ISLPED
1996
ACM
15 years 8 months ago
1996
ACM
We present a new gate-level approach to current simulation. We use a symbolic model of current pulses that takes accurately into account the dependence on the switching conditions...
101
click to vote
OOPSLA
1990
Springer
15 years 8 months ago
1990
Springer
The diverse inheritance mechanisms provided by Smalltalk, Beta, and CLOS are interpreted as different uses of a single underlying construct. Smalltalk and Beta differ primarily in...
121
click to vote
CANDC
2007
ACM
15 years 8 months ago
2007
ACM
This research explores links between constraint development in creative processes and end user development in environments for creative tasks. A process model describing the devel...
142
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
This study aims to design a new co-evolution algorithm, Mixture Co-evolution which enables modeling of integration and composition of direct co-evolution and indirect coevolution....
117
click to vote
TACS
1991
Springer
15 years 7 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...