4476 search results - page 488 / 896 » Modeling software architectures in the Unified Modeling Lang... |
239
click to vote
SPIN
2000
Springer
15 years 11 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
215
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Performance analysis of microprocessors is a critical step in defining the microarchitecture, prior to register-transfer-level (RTL) design. In complex chip multiprocessor systems...
207
click to vote
LREC
2010
15 years 9 months ago
2010
FreeLing is an open-source multilingual language processing library providing a wide range of language analyzers for several languages. It offers text processing and language anno...
200
click to vote
CP
2000
Springer
15 years 12 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
184
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fl...