2255 search results - page 152 / 451 » High Assurance Software Systems |
204
click to vote
CODES
2009
IEEE
15 years 11 months ago
2009
IEEE
Performance estimation of Multi-Processor System-On-Chip (MPa high abstraction level is required in order to perform early architecture exploration and accurate design validations...
191
click to vote
CD
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
183
click to vote
VLSID
2004
IEEE
16 years 6 months ago
2004
IEEE
The increasing software content of battery-powered embedded systems has fueled much interest in techniques for developing energyefficient embedded software. Source code transforma...
176
click to vote
IEEEPACT
2009
IEEE
16 years 1 months ago
2009
IEEE
—Software testing is hard. The emergence of multicore architectures and the proliferation of bugprone multithreaded software makes testing even harder. To this end, researchers h...
182
click to vote
ASPLOS
2000
ACM
15 years 10 months ago
2000
ACM
Recently, there has been a growing interest in exploiting profile information in adaptive systems such as just-in-time compilers, dynamic optimizers and, binary translators. In th...