Sciweavers

401 search results - page 61 / 81
» Random Early Marking
Sort
View
MICRO
2008
IEEE
137views Hardware» more  MICRO 2008»
15 years 12 days ago
Verification of chip multiprocessor memory systems using a relaxed scoreboard
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
Ofer Shacham, Megan Wachs, Alex Solomatnikov, Amin...
88
Voted
IJCINI
2007
66views more  IJCINI 2007»
15 years 10 days ago
Language, Logic, and the Brain
Language is primarily a physical, and more particularly a biological phenomenon. To say that it is primarily so is to say that that is how, in the first instance, it presents itse...
Ray E. Jennings
90
Voted
BC
2002
108views more  BC 2002»
15 years 9 days ago
Spike-timing-dependent plasticity: common themes and divergent vistas
Abstract. Recent experimental observations of spiketiming-dependent synaptic plasticity (STDP) have revitalized the study of synaptic learning rules. The most surprising aspect of ...
Ádám Kepecs, Mark C. W. van Rossum, ...
CCR
2004
91views more  CCR 2004»
15 years 8 days ago
New techniques for making transport protocols robust to corruption-based loss
Current congestion control algorithms treat packet loss as an indication of network congestion, under the assumption that most losses are caused by router queues overflowing. In r...
Wesley M. Eddy, Shawn Ostermann, Mark Allman
117
Voted
DSS
2002
220views more  DSS 2002»
15 years 7 days ago
Past, present, and future of decision support technology
Since the early 1970s, decision support systems (DSS) technology and applications have evolved significantly. Many technological and organizational developments have exerted an im...
J. P. Shim, Merrill Warkentin, James F. Courtney, ...