5777 search results - page 389 / 1156 » The palladio component model |
169
click to vote
ASPDAC
2006
ACM
16 years 1 months ago
2006
ACM
– An instruction set level reference model was developed for the development of synergistic processing unit (SPU) , which is one of the key components of the cell processor [1][2...
181
click to vote
GRID
2004
Springer
16 years 1 months ago
2004
Springer
We introduce a formal model for deployment and hosting of a dynamic grid service wherein the service provider must pay a resource provider for the use of computational resources. ...
170
click to vote
UIALL
2004
Springer
16 years 29 days ago
2004
Springer
In this paper we discuss the adaptive User Model component of the AthosMail system, and describe especially the Cooperativity Model which produces recommendations for the appropria...
196
click to vote
GI
2009
Springer
16 years 7 days ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
184
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...