1249 search results - page 143 / 250 » Software Architecture for Large-Scale, Distributed, Data-Int... |
153
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
129
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
135
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
: Montage is a portable software toolkit for constructing custom, science-grade mosaics by composing multiple astronomical images. The mosaics constructed by Montage preserve the a...
171
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
We discuss here a parallel implementation of the visualisation of data from a galaxy formation simulation within the Triana problem-solving environment. The visualisation is a tes...
116
click to vote
HPCA
2005
IEEE
16 years 4 months ago
2005
IEEE
The issue logic of a superscalar processor dissipates a large amount of static and dynamic power. Furthermore, its power density makes it a hot-spot requiring expensive cooling sy...