1399 search results - page 242 / 280 » Verification of Test Suites |
SEDE
2007
14 years 12 days ago
2007
— Achieving reliability in fault tolerant systems requires both avoidance and redundancy. This study focuses on avoidance as it pertains to the design of microchips. The lifecycl...
NIPS
2004
14 years 10 days ago
2004
We propose a new set of criteria for learning algorithms in multi-agent systems, one that is more stringent and (we argue) better justified than previous proposed criteria. Our cr...
PICS
2001
14 years 10 days ago
2001
A first television system based on the Autosophy information theory is now being tested. The new television marks a major theoretical break from conventional television based on t...
USENIX
2001
14 years 10 days ago
2001
Multiple threads running in a single, shared address space is a simple model for writing parallel programs for symmetric multiprocessor (SMP) machines and for overlapping I/O and ...
WSC
2004
14 years 10 days ago
2004
Current treatment of HIV patients is based on various guidelines that have changed with the advent of newer antiretroviral therapies and the emergence of resistance to them. Howev...