Sciweavers

1929 search results - page 162 / 386
» Load Balancing with Memory
Sort
View
IFIP
2010
Springer
14 years 7 months ago
Bounded Memory Dolev-Yao Adversaries in Collaborative Systems
Abstract. This paper extends existing models for collaborative systems. We investigate how much damage can be done by insiders alone, without collusion with an outside adversary. I...
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, ...
87
Voted
IPPS
1998
IEEE
15 years 5 months ago
Eliminating the Protocol Stack for Socket Based Communication in Shared Memory Interconnects
We show how the traditional protocol stack, such as TCP/IP, can be eliminated for socket based high speed communication within a cluster. The SCI shared memory interconnect is used...
Stein Jørgen Ryan, Haakon Bryhni
151
Voted
MICRO
1995
IEEE
217views Hardware» more  MICRO 1995»
15 years 4 months ago
Improving instruction-level parallelism by loop unrolling and dynamic memory disambiguation
Exploitation ofinstruction-levelparallelism is an ejfective mechanism for improving the performance of modern super-scalar/VLIW processors. Various software techniques can be appl...
Jack W. Davidson, Sanjay Jinturkar
107
Voted
SPIN
2010
Springer
14 years 11 months ago
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
Alexander Linden, Pierre Wolper
102
Voted
IJCNN
2006
IEEE
15 years 6 months ago
Studies on the Memory Capacity and Robustness of Chaotic Dynamic Neural Networks
- A dynamical neural model that is strongly biologically motivated is applied to learning and retrieving binary patterns. This neural network, known as Freeman’s Ksets, is traine...
Igor Beliaev, Robert Kozma