7890 search results - page 378 / 1578 » The MathSAT 3 System |
206
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...
179
click to vote
MASCOTS
2003
15 years 8 months ago
2003
Disk drive manufacturers are putting increasingly larger built-in caches into disk drives. Today, 2 MB buffers are common on low-end retail IDE/ATA drives, and some SCSI drives ar...
168
click to vote
AAAI
1994
15 years 8 months ago
1994
Two standard schemes for learning in classifier systems have been proposed in the literature: the bucket brigade algorithm (BBA) and the profit sharing plan (PSP). The BBA is a lo...
204
click to vote
BIODATAMINING
2008
15 years 6 months ago
2008
Background: In computer science, database systems are based on the relational model founded by Edgar Codd in 1970. On the other hand, in the area of biology the word 'databas...
234
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Memory trace analysis is an important technology for architecture research, system software (i.e., OS, compiler) optimization, and application performance improvements. Many appro...