4586 search results - page 476 / 918 » Computing stable models in parallel |
198
click to vote
ICS
2007
Tsinghua U.
16 years 29 days ago
2007
Tsinghua U.
This paper presents Cooperative Cache Partitioning (CCP) to allocate cache resources among threads concurrently running on CMPs. Unlike cache partitioning schemes that use a singl...
193
click to vote
CLUSTER
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Emerging 64bitOS’s supply a huge amount of memory address space that is essential for new applications using very large data. It is expected that the memory in connect...
163
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
Software development is witnessing the increasing need of version management techniques for supporting the evolution of model-based artefacts. In this respect, metamodels can be c...
202
click to vote
FIDJI
2003
Springer
16 years 15 hour ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
177
click to vote
EDOC
2003
IEEE
16 years 2 days ago
2003
IEEE
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...