6834 search results - page 174 / 1367 » The Fail-Heterogeneous Architectural Model |
WSC
2007
15 years 6 months ago
2007
We explore development of a high-fidelity simulation testbed for various network architectures for communication between components of tactical unmanned aerial systems, and for di...
192
click to vote
KIVS
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. After introducing the concept of mobile agents and potential application domains, we motivate why mobile agent technology is an interesting concept for large Internet-bas...
184
click to vote
SIGIR
1996
ACM
15 years 8 months ago
1996
ACM
Information explosion across the Internet and elsewhere offers access to an increasing number of document collections. In order for users to e ectively access these collections, i...
154
click to vote
CP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
143
click to vote
CODES
2006
IEEE
15 years 5 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...