4887 search results - page 360 / 978 » System Level Design Using C |
158
click to vote
SPE
2002
15 years 6 months ago
2002
FC++ is a library for programming functionally in C++. Compared to other C++ functional programming libraries, FC++ is distinguished by its powerful type system which allows manip...
177
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The design and maintenance of large computational science systems can be aided greatly by the use of generic computational science libraries. The objectoriented design of software...
180
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Bio-ontologies are key elements of knowledge management in bioinformatics. Rich and rigorous bio-ontologies should represent biological knowledge with high fidelity an...
158
click to vote
HICSS
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper presents RDSS, a Resource Area Network (RAN)-based Distributed Storage System, which is designed for high scalability, long-term reliability, and operational efficiency...
172
click to vote
VSTTE
2005
Springer
16 years 7 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...