3891 search results - page 204 / 779 » Toward nature-inspired computing |
169
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
The performance of the MPI’s collective communications is critical in most MPI-based applications. A general algorithm for a given collective communication operation may not give...
159
click to vote
NOSSDAV
2001
Springer
15 years 11 months ago
2001
Springer
We describe the architecture and implementation of our Internet telephony test-bed intended to replace the departmental PBX (telephone switch). It interworks with the traditional ...
157
click to vote
NDSS
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection...
150
click to vote
EICS
2010
ACM
15 years 11 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
178
click to vote
ACSE
1997
ACM
15 years 10 months ago
1997
ACM
Literate programming is a powerful technique that helps expert programmers integrate code and documentation in a manner that assists human comprehension. To date, tools for litera...