1052 search results - page 122 / 211 » Understanding POWER multiprocessors |
FTEDA
2007
13 years 9 months ago
2007
Field-Programmable Gate Arrays (FPGAs) have become one of the key digital circuit implementation media over the last decade. A crucial part of their creation lies in their archite...
SIGMETRICS
2008
ACM
13 years 9 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
ISCI
2007
13 years 9 months ago
2007
The entity–relationship (ER) model, a powerful means for business and data modeling, needs to be enriched with new semantics as the real world changes and its understanding impr...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. This paper aims at providing a rigorous definition of selforganization, one of the most desired properties for dynamic systems (e.g., peer-to-peer systems, sensor networ...
HCI
2009
13 years 6 months ago
2009
Domain-specific modeling is a powerful technique to describe complex systems in a precise but still understandable way. Rapid creation of graphical Domain-Specific Languages (DSLs)...