672 search results - page 48 / 135 » A compiler-based communication analysis approach for multipr... |
FMCO
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
P2P
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Peer-to-peer storage systems aim to provide a reliable long-term storage at low cost. In such systems, peers fail continuously, hence, the necessity of self-repairing me...
MA
2000
Springer
14 years 9 days ago
2000
Springer
In a de-regulated market the distribution utilities will compete with added value for the customer in addition to the delivery of energy. We describe a system consisting of a colle...
AMI
2008
Springer
13 years 10 months ago
2008
Springer
Conference presentations are stressful communication tasks for many speakers. This mental stress inhibits the speaker's ability to recall information and perceive the audience...
ISCA
1994
IEEE
14 years 25 days ago
1994
IEEE
We comparethe performance of software-supported shared memory on a general-purpose network to hardware-supported shared memory on a dedicated interconnect. Up to eight processors,...