5600 search results - page 283 / 1120 » Synthesizing robust systems |
172
click to vote
DAC
2010
ACM
15 years 4 months ago
2010
ACM
The verification of large radio-frequency/millimeter-wave (RF/MM) integrated circuits (ICs) has regained attention for high-performance designs beyond 90nm and 60GHz. The traditio...
281
click to vote
COLING
2010
15 years 1 months ago
2010
In cross-language information retrieval it is often important to align words that are similar in meaning in two corpora written in different languages. Previous research shows tha...
203
click to vote
PAMI
2012
13 years 9 months ago
2012
—Model updating is a critical problem in tracking. Inaccurate extraction of the foreground and background information in model adaptation would cause the model to drift and degra...
194
click to vote
IJSEKE
2000
15 years 6 months ago
2000
Software architectures are often claimed to be robust. However, there is no explicit and concrete definition of software architecture robustness. This paper gives a definition of ...
192
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
Abstract-- Shared temporary storage space is often the constraining resource for clusters that serve as execution nodes in wide-area distributed systems. At least one large nationa...