2210 search results - page 315 / 442 » Applying a Model-based Approach for Embedded System Developm... |
135
click to vote
WOSP
2005
ACM
15 years 8 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
112
click to vote
ICSE
2009
IEEE-ACM
15 years 7 months ago
2009
IEEE-ACM
The comprehensive understanding of today’s software systems is a daunting activity, because of the sheer size and complexity that such systems exhibit. Moreover, software system...
136
click to vote
BMCBI
2007
15 years 2 months ago
2007
Several systems have been presented in the last years in order to manage the complexity of large microarray experiments. Although good results have been achieved, most systems ten...
123
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
113
Voted
CGO
2010
IEEE
15 years 9 months ago
2010
IEEE
For memory constrained embedded systems code size is at least as important as performance. One way of increasing code density is to exploit compact instruction formats, e.g. ARM T...