3544 search results - page 496 / 709 » Software Testing |
126
Voted
AMKM
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Distributed knowledge management systems (DKMS) have been suggested to meet the requirements of today’s knowledge management. Peer-to-peer systems offer technical found...
141
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
102
Voted
AIPR
2003
IEEE
15 years 6 months ago
2003
IEEE
The VIPER infrared muzzle flash detection system was deployed from a helicopter and an airship in response to the Washington, DC area sniper attacks in October 2002. The system co...
98
Voted
USENIX
1996
15 years 2 months ago
1996
lmbench is a micro-benchmark suite designed to focus attention on the basic building blocks of many common system applications, such as databases, simulations, software developmen...
106
Voted
ASE
2004
15 years 18 days ago
2004
Abstract. The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory acce...