3575 search results - page 150 / 715 » Modeling Concurrency with Geometry |
145
click to vote
TCAD
1998
15 years 4 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
154
click to vote
COOP
2004
15 years 5 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
121
click to vote
WOTUG
2007
15 years 5 months ago
2007
Abstract. The advent of mass-market multicore processors provides exciting new opportunities for parallelism on the desktop. The original C++CSP – a library providing concurrency...
127
click to vote
CONCURRENCY
2008
15 years 4 months ago
2008
In this paper, we present a Grid computing platform that provides experimental scientists and analysts with access to computational simulations and knowledge databases hosted in s...
124
click to vote
CONCURRENCY
2010
15 years 4 months ago
2010
Over the past decade the number of processors in the high performance facilities went up to hundreds of thousands. As a direct consequence, while the computational power follow th...