336 search results - page 19 / 68 » Using a Model Merging Language for Reconciling Model Version... |
PDPTA
2007
13 years 9 months ago
2007
- The MASC (for Multiple Associative Computing) model is a SIMD model enhanced with associative properties and multiple synchronous instruction streams (IS). A number of algorithms...
ECLIPSE
2007
ACM
13 years 11 months ago
2007
ACM
Software development involves the use of many models and Eclipse provides an ideal infrastructure for building tools to support the use of models. While there is a large selection...
EPEW
2005
Springer
14 years 1 months ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
WOLLIC
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...