243 search results - page 32 / 49 » A General Model for Component-Based Software Reliability |
110
click to vote
DNA
2007
Springer
15 years 5 months ago
2007
Springer
Reliable DNA computing requires a large pool of oligonucleotides that do not produce cross-hybridize. In this paper, we present a transformed algorithm to calculate the maximum wei...
126
click to vote
ETRICS
2006
15 years 5 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
105
click to vote
ASPDAC
2008
ACM
15 years 3 months ago
2008
ACM
Complex design, targeting System-on-Chip based on reconfigurable architectures, still lacks a generalized methodology allowing both the automatic derivation of a complete system s...
109
Voted
SIMUTOOLS
2008
15 years 2 months ago
2008
Embedded Peer-to-Peer Systems (EP2P) represent a new challenge in the development of software for distributed systems. The main objective of the SMEPP (Secure Middleware for Embed...
120
click to vote
SPAA
2006
ACM
15 years 7 months ago
2006
ACM
In response to current technology scaling trends, architects are developing a new style of processor, known as spatial computers. A spatial computer is composed of hundreds or eve...