267 search results - page 39 / 54 » Robust comparative statics in large static games |
165
click to vote
NSDI
2010
15 years 7 months ago
2010
Byzantine fault-tolerant (BFT) replication has enjoyed a series of performance improvements, but remains costly due to its replicated work. We eliminate this cost for read-mostly ...
183
click to vote
JSS
2006
15 years 5 months ago
2006
Whether context-sensitive program analysis is more effective than context-insensitive analysis is an ongoing discussion. There is evidence that context-sensitivity matters in comp...
184
click to vote
MICRO
2010
IEEE
15 years 3 months ago
2010
IEEE
Wide Single Instruction, Multiple Thread (SIMT) architectures often require a static allocation of thread groups that are executed in lockstep throughout the entire application ker...
158
click to vote
KDD
1995
ACM
15 years 9 months ago
1995
ACM
Data mining or knowledge discovery in databasesis the search for relationships and global patterns that exist but are hidden in large databases.Many different methodshave been pro...
164
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...