474 search results - page 48 / 95 » Assurance Based Development of Critical Systems |
156
click to vote
ECCC
2010
15 years 3 months ago
2010
Applications based on outsourcing computation require guarantees to the data owner that the desired computation has been performed correctly by the service provider. Methods based...
159
click to vote
MEMOCODE
2003
IEEE
15 years 10 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
142
click to vote
MICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
Network-on-Chips (NoCs) are likely to become a critical shared resource in future many-core processors. The challenge is to develop policies and mechanisms that enable multiple ap...
178
click to vote
JSW
2008
15 years 5 months ago
2008
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
156
click to vote
PIMRC
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Dynamic spectrum access (DSA) supporting opportunistic transmission without extra spectrum bandwidth is attractive for future wireless communication. To facilitate such D...