9974 search results - page 155 / 1995 » Software Interconnection Models |
112
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
The memory consistency model is a fundamental system property characterizing a multiprocessor. The relative merits of strict versus relaxed memory models have been widely debated ...
143
click to vote
MCS
2011
Springer
14 years 9 months ago
2011
Springer
: When working with large-scale models or numerous small models, there can be a temptation to rely on default settings in proprietary software to derive solutions to the model. In ...
101
Voted
ICMCS
2000
IEEE
15 years 6 months ago
2000
IEEE
Physical modeling of a mass-spring system allows for realistic object motion and deformation in a virtual environment. Previous work in this type of physical modeling relies on ge...
116
click to vote
ECBS
2007
IEEE
15 years 8 months ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
148
click to vote
ICMT
2009
Springer
15 years 8 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...