1299 search results - page 121 / 260 » Why Not Use a Pattern-Based Parallel Programming System |
132
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
105
click to vote
HICSS
1997
IEEE
15 years 7 months ago
1997
IEEE
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...
145
click to vote
FCCM
2002
IEEE
15 years 8 months ago
2002
IEEE
Reconfigurable systems, and in particular, FPGA-based custom computing machines, offer a unique opportunity to define application-specific architectures. These architectures offer...
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
144
click to vote
CLOUDCOM
2010
Springer
15 years 13 days ago
2010
Springer
Geospatial queries (GQ) have been used in a wide variety of applications such as decision support systems, profile-based marketing, bioinformatics and GIS. Most of the existing qu...