8083 search results - page 320 / 1617 » A Formalization of Software Architecture |
199
click to vote
LCTRTS
2005
Springer
16 years 5 days ago
2005
Springer
Software pipelining is a critical optimization for producing efficient code for VLIW/EPIC and superscalar processors in highperformance embedded applications such as digital sign...
154
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
169
click to vote
JOT
2006
15 years 6 months ago
2006
The paper introduces modeling spaces in order to help software practitioner to understand modeling. Usually software engineers often think of a specific kind of models
157
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...