112 search results - page 22 / 23 » Message passing without send-receive |
134
Voted
PPOPP
2009
ACM
16 years 24 days ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
94
Voted
HOTI
2005
IEEE
15 years 5 months ago
2005
IEEE
Though traditional Ethernet based network architectures such as Gigabit Ethernet have suffered from a huge performance difference as compared to other high performance networks (e...
104
Voted
ICCHP
2004
Springer
15 years 5 months ago
2004
Springer
: Multimedia and Hypermedia technologies can be successfully used in education and rehabilitation for cognitively disabled persons. In particular, storytelling has always proved su...
151
Voted
ISCOPE
1999
Springer
15 years 4 months ago
1999
Springer
The concept of design patterns has recently emerged as a new paradigm in the context of object-oriented design methodology. Similar ideas are being explored in other areas of compu...
117
Voted
SPAA
1993
ACM
15 years 4 months ago
1993
ACM
In this paper we introduce the ConSet communication model for distributed memory parallel computers. The communication needs of an application program can be satisfied by some ar...