3891 search results - page 204 / 779 » Toward nature-inspired computing |
136
click to vote
ICCS
2001
Springer
15 years 8 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...
126
click to vote
NOSSDAV
2001
Springer
15 years 8 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 ...
126
click to vote
NDSS
2000
IEEE
15 years 8 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...
121
click to vote
EICS
2010
ACM
15 years 8 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...
142
click to vote
ACSE
1997
ACM
15 years 8 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...