2374 search results - page 180 / 475 » Fast Distributed Algorithms for Computing Separable Function... |
109
Voted
HPCA
2009
IEEE
16 years 3 months ago
2009
IEEE
The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new na...
117
Voted
IJON
2007
15 years 2 months ago
2007
This paper introduces a new model of a spiking neuron with active dendrites and dynamic synapses (ADDS). The neuron employs the dynamics of the synapses and the active properties ...
106
Voted
WSC
2000
15 years 4 months ago
2000
The calculation of value-at-risk (VAR) for large portfolios of complex instruments is among the most demanding and widespread computational challenges facing the financial industr...
109
Voted
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
Decision-theoretic models have become increasingly popular as a basis for solving agent and multiagent problems, due to their ability to quantify the complex uncertainty and prefe...
139
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...