11374 search results - page 224 / 2275 » A System Demonstration of ST-TCP |
151
click to vote
HYBRID
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
182
click to vote
TACAS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
220
click to vote
ICDIM
2006
IEEE
16 years 18 days ago
2006
IEEE
: Generic systems for content-based image retrieval (CBIR), such as QBIC [7] cannot be used to solve domain-specific image retrieval problems, as for example, the identification of...
164
click to vote
SIGSOFT
2006
ACM
16 years 15 days ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
155
click to vote
FCCM
2005
IEEE
16 years 5 days ago
2005
IEEE
As technology sizes decrease and die area increases, designers are creating increasingly complex computing systems using FPGAs. To reduce design time for new products, the reuse o...