2370 search results - page 422 / 474 » On the Revival of Dynamic Languages |
112
Voted
ENTCS
2007
15 years 19 days ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
ENTCS
2007
15 years 19 days ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
109
Voted
MCS
2006
Springer
15 years 19 days ago
2006
Springer
The design of the control software for complex systems is a difficult task. It requires the modeling, the simulation, the integration and the adaptation of a multitude of intercon...
112
Voted
IJON
2007
15 years 18 days ago
2007
Parallel computers have the computing power needed to simulate biologically accurate neuronal network models. Partitioning is the process of cutting a model in pieces and assignin...
119
click to vote
IJVR
2007
15 years 18 days ago
2007
—In this paper, we focus on the different aspects of real time visualization and animation of realistic virtual characters. The common goal for our research was to come up with s...