9006 search results - page 130 / 1802 » Modeling Software |
145
Voted
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
135
Voted
JCIT
2010
14 years 9 months ago
2010
With respect to multiple attribute decision making problem with triangular fuzzy linguistic information, in which the attribute weights and expert weights take the form of real nu...
129
Voted
CAISE
2009
Springer
15 years 9 months ago
2009
Springer
Self-contextualizability refers to the system ability to autonomously adapt its behaviour to context in order to maintain its objectives satisfied. In this paper, we propose a mod...
136
Voted
DATE
2005
IEEE
15 years 4 months ago
2005
IEEE
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...
168
Voted
IASTEDSEA
2004
15 years 4 months ago
2004
OpenCOM v2 is our experimental language-independent component-based systems-building technology. OpenCOM offers more than merely a component-based programming model. First, it is ...