2357 search results - page 230 / 472 » Computing Refactorings of Behavior Models |
127
Voted
ICPPW
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper a simple but effective approach for parallelization of cellular neural networks for image processing is developed. Digital gray-scale images were used to evaluate th...
119
click to vote
ICDCSW
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper focuses on flow control in high-speed networks. Each node in the networks handles its local traffic flow only on the basis of the information it knows, but it is pre...
117
Voted
CCGRID
2004
IEEE
15 years 7 months ago
2004
IEEE
We investigate the circumstances under which it is possible to discourage free-riding in a peer-to-peer system for resource-sharing by prioritizing resource allocation to peers wi...
150
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
91
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
B This paper examinesthe integration of computational complexity into gametheoretic models. Theexample focused on is the Prisoner’s Dilemma,repeated for a finite length of time....