2935 search results - page 133 / 587 » An Integrated Approach to High Integrity Software Verificati... |
152
click to vote
RTSS
2007
IEEE
15 years 11 months ago
2007
IEEE
The increased complexity of performance-sensitive software systems leads to increased use of automated adaptation policies in lieu of manual performance tuning. Composition of ada...
158
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Despite considerable efforts within the microarray community for standardising data format, content and description, microarray technologies present major challenges i...
139
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. The DECOS architec...
181
click to vote
DSVIS
1998
Springer
15 years 9 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
156
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Rapidly increasing quantities of multimedia and spoken content today demand fast and accurate retrieval approaches for convenient browsing. The spoken documents with wide variety ...