4903 search results - page 198 / 981 » The Set Covering Machine |
143
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
Given a set of n different deterministic finite state machines (DFSMs) modeling a distributed system, we examine the problem of tolerating f crash or Byzantine faults in such a ...
162
Voted
ISCA
2006
IEEE
15 years 11 months ago
2006
IEEE
A Co-Designed Virtual Machine allows designers to implement a processor via a combination of hardware and software. Dynamic binary translation converts code written for a conventi...
170
Voted
SIGIR
2004
ACM
15 years 10 months ago
2004
ACM
This paper reports on and discusses a set of user experiments using the TREC 2003 Web interactive track protocol. The focus is on comparing humans and machine algorithms in terms ...
123
click to vote
PLDI
2000
ACM
15 years 9 months ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
158
click to vote
CCGRID
2001
IEEE
15 years 8 months ago
2001
IEEE
High performance computing on parallel architectures currently uses different approaches depending on the hardory model of the architecture, the abstraction level of the programmi...