850 search results - page 128 / 170 » Certification of System Architecture Dependability |
155
click to vote
ICPPW
2009
IEEE
16 years 17 days ago
2009
IEEE
Multi-core architectures have received significant interest as thermal and power consumption problems limit further increase of speed in single-cores. In the multi-core research ...
171
click to vote
CDVE
2007
Springer
16 years 3 days ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
259
click to vote
ICDE
1999
IEEE
16 years 7 months ago
1999
IEEE
Increasingly, for extensibility and performance, specialpurpose application code is being integrated with database system code. Such application code has direct access to database...
168
click to vote
DAC
1999
ACM
16 years 6 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
138
click to vote
COMPSAC
2008
IEEE
16 years 12 days ago
2008
IEEE
Software product lines have already proven to be a successful methodology for building and maintaining a collection of similar software products, based on a common architecture. H...