8109 search results - page 1276 / 1622 » A Model of Component-Based Programming |
146
click to vote
CCE
2004
15 years 4 months ago
2004
We consider the dynamic optimization of chemical processes with changes in the number of equilibrium phases. Recent work has shown that transitions in the number of phases can be ...
163
Voted
FMSD
2002
15 years 4 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
IFE
2002
15 years 4 months ago
2002
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
142
Voted
PC
2002
15 years 4 months ago
2002
This paper presents a solution to the open problem of finding the optimal tile size to minimise the execution time of a parallelogram-shaped iteration space on a distributed memory...
149
click to vote
SIMULATION
2002
15 years 4 months ago
2002
We present GaliLEO, a simulator for the transmission of connection-oriented traffic over a constellation of LEO/MEO (Low / Medium Earth Orbit) satellites. Its scope is limited to ...