12597 search results - page 2113 / 2520 » Complexity of Mechanism Design |
196
click to vote
SIGADA
2001
Springer
16 years 3 days ago
2001
Springer
The last years have seen an increasing, albeit restricted simulation of large-scale networks on shared memory parallel platforms. As the complexity of communication protocols and ...
242
Voted
TACAS
2001
Springer
16 years 3 days ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
198
click to vote
APSEC
2000
IEEE
16 years 2 days ago
2000
IEEE
of modelling abstractions to map from items in the real-world to objects in the computational domain is oth for the effective implementation of abstract problem solutions and for ...
220
click to vote
FCCM
2000
IEEE
16 years 2 days ago
2000
IEEE
Custom computing systems exhibit significant speedups over traditional microprocessors by mapping compute-intensive sections of a program to reconfigurable logic [Hauck98]. Howeve...
204
click to vote
IEEEPACT
2000
IEEE
16 years 1 days ago
2000
IEEE
Recent research suggests that DSM clusters can benefit from parallel coherence controllers. Parallel controllers require address partitioning and synchronization to avoid handlin...