8083 search results - page 70 / 1617 » A Formalization of Software Architecture |
EMSOFT
2006
Springer
13 years 11 months ago
2006
Springer
KBSE
2010
IEEE
13 years 5 months ago
2010
IEEE
FMSP
2000
ACM
14 years 1 days ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
CODES
2008
IEEE
14 years 2 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
TOMACS
1998
13 years 7 months ago
1998
architectures at multiple levels of abstraction, encompassing both hardware and software. It has five modes of operation (Design, Model Validation, Build Simulation, Simulate Syste...