3307 search results - page 242 / 662 » The meaning of concurrent programs |
177
click to vote
PROCEDIA
2010
15 years 1 months ago
2010
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
210
click to vote
STOC
2012
ACM
13 years 9 months ago
2012
ACM
This work deals with the power of linear algebra in the context of multilinear computation. By linear algebra we mean algebraic branching programs (ABPs) which are known to be com...
180
click to vote
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
197
click to vote
CONCURRENCY
2000
15 years 6 months ago
2000
The 1990s are seeing the explosive growth of the Internet and Web-based information sharing and dissemination systems. The Internet is also showing a potential of forming of a sup...
148
click to vote
ICES
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. As mobile devices become more powerful, interprocess communication becomes increasingly more important. Unfortunately, this larger freedom of mobility gives rise to unkno...