5235 search results - page 197 / 1047 » Analysis of Multithreaded Programs |
209
click to vote
APCSAC
2007
IEEE
16 years 23 days ago
2007
IEEE
MPI (the Message Passing Interface) continues to be the dominant programming model for parallel machines of all sizes, from small Linux clusters to the largest parallel supercomput...
183
click to vote
IPPS
2007
IEEE
16 years 21 days ago
2007
IEEE
Modern multi-core architectures have become popular because of the limitations of deep pipelines and heating and power concerns. Some of these multi-core architectures such as the...
153
Voted
ESOP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
163
click to vote
FCT
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
152
click to vote
OOPSLA
2007
Springer
16 years 16 days ago
2007
Springer
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...