1492 search results - page 144 / 299 » Concurrent programming in VISO |
90
Voted
FUIN
2008
15 years 18 days ago
2008
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
ENTCS
2006
15 years 16 days ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
132
Voted
CONCURRENCY
2010
14 years 10 months ago
2010
The faster growth curves in the speed of GPUs relative to CPUs in the past decade and its rapidly gained popularity have spawned a new area of development in computational technol...
182
click to vote
POPL
2007
ACM
16 years 26 days ago
2007
ACM
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
75
Voted
ERSHOV
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The quest for modular concurrency reasoning has led to recent proposals that extend program assertions to include not just knowledge about the state, but rights to access...